brain.h File Reference

Declarations of classes and that implement the solver's core functionality. More...

#include "stack_trace.h"
#include "tools.h"
#include "binder.h"
#include "ben_jose.h"
#include "instance_info.h"
#include "sortor.h"
#include "dbg_config.h"
#include "dbg_prt.h"

Include dependency graph for brain.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	quanton
	Class for CNF variables (each variable has a positon and a negaton). More...
class	coloring
	The initial and final state for an stabilization is a coloring. More...
class	neuron
	Class for CNF clause behavior. So there is one neuron per clause. More...
class	prop_signal
	Class for representing BCP propagation data. More...
class	deduction
	Class that holds the result of analyzing (doing resolution) of a conflict. More...
class	neuromap
	A neuromap is a CNF sub-formula. More...
class	deducer
	Class that holds the data used to analyze a conflict. More...
class	leveldat
	Class that holds the data of a level. More...
class	brain
	Class that holds all data used to solve a particular CNF instance. More...

Functions
void	write_all_nmps (row_neuromap_t &to_wrt)
	Writes all neuromap s (candidates) that need writing. More...

Detailed Description

Declarations of classes and that implement the solver's core functionality.

Function Documentation

void brain::write_all_nmps

(

row< neuromap * > &

to_wrt

)

Writes all neuromap s (candidates) that need writing.

See also

macro_algorithm_ben_jose.cpp

Here is the call graph for this function:

Here is the caller graph for this function: