Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

Cbrain	Class that holds all data used to solve a particular CNF instance
Ccanon_cnf	A canon_cnf is a BCFF. An stabilized sub-formula
Ccoloring	The initial and final state for an stabilization is a coloring
Cdeducer	Class that holds the data used to analyze a conflict
Cdeduction	Class that holds the result of analyzing (doing resolution) of a conflict
Cinstance_info	Class that holds an instance data
Cleveldat	Class that holds the data of a level
Cneuromap	A neuromap is a CNF sub-formula
Cneuron	Class for CNF clause behavior. So there is one neuron per clause
Cprop_signal	Class for representing BCP propagation data
Cquanton	Class for CNF variables (each variable has a positon and a negaton)
Csha2_context	SHA-256 context structure
Cskeleton_glb	A skeleton_glb is a directory holding a database
Csorset	A sorset is a group of sortee s
Csort_glb	Class that holds all global data used to stabilize a group of items
Csortee	Class that is an item to be stabilized
Csortrel	A sortrel is a relation between two sortee s