GaSatItem::Private Struct Reference

List of all members.


Detailed Description

Definition at line 38 of file GaSatSolver.cpp.


Public Member Functions

 Private (unsigned size)

Public Attributes

GABinaryString bs

Constructor & Destructor Documentation

Private ( unsigned  size  )  [inline]

Definition at line 41 of file GaSatSolver.cpp.


Member Data Documentation

GABinaryString bs

Definition at line 39 of file GaSatSolver.cpp.

Referenced by GaSatItem::clone(), GaSatItem::GaSatItem(), GaSatItem::getBit(), and GaSatItem::getLength().


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