FormulaContainer::Private Struct Reference

List of all members.


Detailed Description

Definition at line 241 of file SatProblem.cpp.


Public Types

typedef std::list
< IFormulaEvaluator * > 
TContainer

Public Attributes

TContainer container

Member Typedef Documentation

typedef std::list<IFormulaEvaluator *> TContainer

Definition at line 242 of file SatProblem.cpp.


Member Data Documentation

TContainer container

Definition at line 243 of file SatProblem.cpp.

Referenced by FormulaContainer::addFormula(), FormulaContainer::evalAll(), FormulaContainer::getLength(), and FormulaContainer::~FormulaContainer().


The documentation for this struct was generated from the following file:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4