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

Class that holds the data of a level. More...

#include <brain.h>

+ Collaboration diagram for leveldat:

Detailed Description

Class that holds the data of a level.

A level is all that happens between choices during BCP. So there is one level per choice. This class holds level relevant data.


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