SatItemSet::Private Struct Reference

List of all members.

---

Detailed Description

Definition at line 207 of file SatSolver.cpp.

Public Types
typedef std::set < SatItemHashDecorator >	TSet
Public Member Functions
void	addItem (ISatItem *item)
Public Attributes
TSet	set
Classes
class	SatItemHashDecorator

---

Member Typedef Documentation

typedef std::set<SatItemHashDecorator> TSet

Definition at line 238 of file SatSolver.cpp.

---

Member Function Documentation

void addItem

(

ISatItem *

item

)

[inline]

Definition at line 241 of file SatSolver.cpp.

References SatItemSet::Private::SatItemHashDecorator::dispose().

Referenced by SatItemSet::addItem().

---

Member Data Documentation

TSet set

Definition at line 239 of file SatSolver.cpp.

Referenced by SatItemSet::clear(), SatItemSet::createVector(), and SatItemSet::getLength().

---

The documentation for this struct was generated from the following file:

• SatSolver.cpp

---