 |
Doxygen Generated Documentation of Ben-Jose Trainable SAT Solver Library
|
|
Doxygen Generated Documentation of Ben-Jose Trainable SAT Solver Library
|
The initial and final state for an stabilization is a coloring. More...
#include <brain.h>
Collaboration diagram for coloring:The initial and final state for an stabilization is a coloring.
A color is just an integer. A coloring of a sub-formula is an assignation of an integer (neuron - color) to each neuron and an integer (quanton -color) to each quanton of the sub-formula. An stabilization may start with all neurons having the same neuron-color and all quanton s having the same quanton -color and finalize with each neuron having a unique neuron - color and each quanton having a unique quanton -color, called a complete coloring.
colorings are ''loaded'' into the sortglb class in order to start stabilization. After stabilization the final coloring may be ''saved''. Each color in a coloring will correspond to one sorset during stabilization. These ''loading'' and ''saving'' words are used in the software only in relation to the sortglb class and have nothing to do with file operations.
This class is used to specify only the input to the stabilization process (the initial state). The class canon_cnf is used for the output (it is the result of applying the output coloring (stabilized coloring) to the sub-formula it defines: neuron s and quanton s in the coloring. To initialize the sortor, it ''loads'' the initial coloring into the sortglb instance that will stabilize the CNF sub-formula.
1.8.11
