SatItemVector::Private Struct Reference

List of all members.


Detailed Description

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

Member Typedef Documentation

typedef std::vector<ISatItem *> TVector

Definition at line 153 of file SatSolver.cpp.


Constructor & Destructor Documentation

Private ( unsigned  size = 0  )  [inline]

Definition at line 156 of file SatSolver.cpp.


Member Data Documentation

TVector vect

Definition at line 154 of file SatSolver.cpp.

Referenced by SatItemVector::addItem(), SatItemVector::clear(), SatItemVector::getItem(), SatItemVector::getLength(), and SatItemVector::SatItemVector().


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