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