Doxygen Generated Documentation of Ben-Jose Trainable SAT Solver Library
List of all members
deduction Class Reference

Class that holds the result of analyzing (doing resolution) of a conflict. More...

#include <brain.h>

+ Collaboration diagram for deduction:

Detailed Description

Class that holds the result of analyzing (doing resolution) of a conflict.

It has the data for learning new neuron s (clauses).


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