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().
1.5.4