Test::Branch::SetTestSpace Class Reference
Inherits Gecode::Space.
Detailed Description
Space for executing Boolean tests.Definition at line 95 of file branch.cc.
Collection of possible arguments for set branchings | |
const Gecode::SetVarBranch | set_var_branch [] |
Set variable selections. | |
const int | n_set_var_branch |
Number of set variable selections. | |
const char * | set_var_branch_name [] |
Names for set variable selections. | |
const Gecode::SetValBranch | set_val_branch [] |
Set value selections. | |
const int | n_set_val_branch |
Number of set value selections. | |
const char * | set_val_branch_name [] |
Names for set value selections. | |
Public Member Functions | |
SetTestSpace (int n, Gecode::IntSet &d) | |
Initialize test space. | |
SetTestSpace (bool share, SetTestSpace &s) | |
Constructor for cloning s. | |
virtual Gecode::Space * | copy (bool share) |
Copy space during cloning. | |
Public Attributes | |
Gecode::SetVarArray | x |
Variables to be tested. |
Constructor & Destructor Documentation
Test::Branch::SetTestSpace::SetTestSpace | ( | int | n, | |
Gecode::IntSet & | d | |||
) | [inline] |
Test::Branch::SetTestSpace::SetTestSpace | ( | bool | share, | |
SetTestSpace & | s | |||
) | [inline] |
Member Function Documentation
virtual Gecode::Space* Test::Branch::SetTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
Friends And Related Function Documentation
const Gecode::SetVarBranch set_var_branch[] [related] |
Initial value:
{ Gecode::SET_VAR_NONE, Gecode::SET_VAR_MIN_CARD, Gecode::SET_VAR_MAX_CARD, Gecode::SET_VAR_MIN_UNKNOWN_ELEM, Gecode::SET_VAR_MAX_UNKNOWN_ELEM }
const int n_set_var_branch [related] |
Initial value:
sizeof(set_var_branch)/sizeof(Gecode::SetVarBranch)
const char* set_var_branch_name[] [related] |
const Gecode::SetValBranch set_val_branch[] [related] |
const int n_set_val_branch [related] |
const char* set_val_branch_name[] [related] |
Member Data Documentation
The documentation for this class was generated from the following file: