Test::Branch::BoolTestSpace Class Reference
Space for executing Boolean tests. More...
Public Member Functions | |
BoolTestSpace (int n) | |
Initialize test space. | |
BoolTestSpace (bool share, BoolTestSpace &s) | |
Constructor for cloning s. | |
virtual Gecode::Space * | copy (bool share) |
Copy space during cloning. | |
Public Attributes | |
Gecode::BoolVarArray | x |
Variables to be tested. |
Detailed Description
Space for executing Boolean tests.
Definition at line 81 of file branch.cpp.
Constructor & Destructor Documentation
Test::Branch::BoolTestSpace::BoolTestSpace | ( | int | n | ) | [inline] |
Initialize test space.
Definition at line 86 of file branch.cpp.
Test::Branch::BoolTestSpace::BoolTestSpace | ( | bool | share, | |
BoolTestSpace & | s | |||
) | [inline] |
Constructor for cloning s.
Definition at line 89 of file branch.cpp.
Member Function Documentation
virtual Gecode::Space* Test::Branch::BoolTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
Member Data Documentation
Variables to be tested.
Definition at line 84 of file branch.cpp.
The documentation for this class was generated from the following file: