Definition at line 34 of file SatSolver.cpp.
Public Types | |
typedef std::list< IObserver * > | TContainer |
Public Attributes | |
TContainer | container |
typedef std::list<IObserver *> TContainer |
Definition at line 35 of file SatSolver.cpp.
Definition at line 36 of file SatSolver.cpp.
Referenced by AbstractSubject::addObserver(), and AbstractSubject::notify().