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:

• SatProblem.cpp

---