Matching classes

Classes
class	coloring
	The initial and final state for an stabilization is a coloring. More...
class	neuromap
	A neuromap is a CNF sub-formula. More...
class	canon_cnf
	A canon_cnf is a BCFF. An stabilized sub-formula. More...

Detailed Description

This group corresponds to all classes relating to the CNF matching processes. Matching consists basically of two steps. Stabilization and finding the resulting BCFF in the database of BCFFs.