Definition at line 241 of file SatProblem.cpp.
Public Types | |
typedef std::list < IFormulaEvaluator * > | TContainer |
Public Attributes | |
TContainer | container |
typedef std::list<IFormulaEvaluator *> TContainer |
Definition at line 242 of file SatProblem.cpp.
Definition at line 243 of file SatProblem.cpp.
Referenced by FormulaContainer::addFormula(), FormulaContainer::evalAll(), FormulaContainer::getLength(), and FormulaContainer::~FormulaContainer().