Detailed Description

Class for representing BCP propagation data.

Which quanton fired by which neuron (which clause forced a given variable). BCP is done with the two watched literals technique (two watched fibres in the library's terminology).

The documentation for this class was generated from the following files:

/home/jose/devel/ben-jose/src/library/brain/brain.h
/home/jose/devel/ben-jose/src/library/brain/deducer.cpp
/home/jose/devel/ben-jose/src/library/debug/dbg_brain.cpp