Definition at line 38 of file GaSatSolver.cpp.
Public Member Functions | |
Private (unsigned size) | |
Public Attributes | |
GABinaryString | bs |
Private | ( | unsigned | size | ) | [inline] |
Definition at line 41 of file GaSatSolver.cpp.
GABinaryString bs |
Definition at line 39 of file GaSatSolver.cpp.
Referenced by GaSatItem::clone(), GaSatItem::GaSatItem(), GaSatItem::getBit(), and GaSatItem::getLength().