Definition at line 152 of file SatSolver.cpp.
Public Types | |
| typedef std::vector< ISatItem * > | TVector |
Public Member Functions | |
| Private (unsigned size=0) | |
Public Attributes | |
| TVector | vect |
Definition at line 153 of file SatSolver.cpp.
| Private | ( | unsigned | size = 0 |
) | [inline] |
Definition at line 156 of file SatSolver.cpp.
Definition at line 154 of file SatSolver.cpp.
Referenced by SatItemVector::addItem(), SatItemVector::clear(), SatItemVector::getItem(), SatItemVector::getLength(), and SatItemVector::SatItemVector().
1.5.4