Doxygen-Documentation: quanton Class Reference

Doxygen-Documentation

Doxygen Generated Documentation of Ben-Jose Trainable SAT Solver Library

Class for CNF variables (each variable has a positon and a negaton). More...

#include <brain.h>

Collaboration diagram for quanton:

Detailed Description

Class for CNF variables (each variable has a positon and a negaton).

There are two quanton s per variable. neuron s hold references to quanton s called fibres. They are used for BCP.

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/brain.cpp
/home/jose/devel/ben-jose/src/library/brain/deducer.cpp
/home/jose/devel/ben-jose/src/library/brain/neuromap.cpp
/home/jose/devel/ben-jose/src/library/debug/dbg_brain.cpp
/home/jose/devel/ben-jose/src/library/debug/dbg_cy_htm.cpp