Test::Branch::IntTestSpace Class Reference
Inherits Gecode::Space.
Detailed Description
Space for executing integer tests.Definition at line 56 of file branch.cc.
Collection of possible arguments for integer branchings | |
BoolTestSpace | |
const Gecode::IntVarBranch | int_var_branch [] |
Integer variable selections. | |
const int | n_int_var_branch |
Number of integer variable selections. | |
const char * | int_var_branch_name [] |
Names for integer variable selections. | |
const Gecode::IntValBranch | int_val_branch [] |
Integer value selections. | |
const int | n_int_val_branch |
Number of integer value selections. | |
const char * | int_val_branch_name [] |
Names for integer value selections. | |
Public Member Functions | |
IntTestSpace (int n, Gecode::IntSet &d) | |
Initialize test space. | |
IntTestSpace (bool share, IntTestSpace &s) | |
Constructor for cloning s. | |
virtual Gecode::Space * | copy (bool share) |
Copy space during cloning. | |
Public Attributes | |
Gecode::IntVarArray | x |
Variables to be tested. |
Constructor & Destructor Documentation
Test::Branch::IntTestSpace::IntTestSpace | ( | int | n, | |
Gecode::IntSet & | d | |||
) | [inline] |
Test::Branch::IntTestSpace::IntTestSpace | ( | bool | share, | |
IntTestSpace & | s | |||
) | [inline] |
Member Function Documentation
virtual Gecode::Space* Test::Branch::IntTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
Friends And Related Function Documentation
const Gecode::IntVarBranch int_var_branch[] [related] |
Initial value:
{ Gecode::INT_VAR_NONE, Gecode::INT_VAR_MIN_MIN, Gecode::INT_VAR_MIN_MAX, Gecode::INT_VAR_MAX_MIN, Gecode::INT_VAR_MAX_MAX, Gecode::INT_VAR_SIZE_MIN, Gecode::INT_VAR_SIZE_MAX, Gecode::INT_VAR_DEGREE_MIN, Gecode::INT_VAR_DEGREE_MAX, Gecode::INT_VAR_SIZE_DEGREE_MIN, Gecode::INT_VAR_SIZE_DEGREE_MAX, Gecode::INT_VAR_REGRET_MIN_MIN, Gecode::INT_VAR_REGRET_MIN_MAX, Gecode::INT_VAR_REGRET_MAX_MIN, Gecode::INT_VAR_REGRET_MAX_MAX }
const int n_int_var_branch [related] |
Initial value:
sizeof(int_var_branch)/sizeof(Gecode::IntVarBranch)
const char* int_var_branch_name[] [related] |
Initial value:
{ "INT_VAR_NONE", "INT_VAR_MIN_MIN", "INT_VAR_MIN_MAX", "INT_VAR_MAX_MIN", "INT_VAR_MAX_MAX", "INT_VAR_SIZE_MIN", "INT_VAR_SIZE_MAX", "INT_VAR_DEGREE_MIN", "INT_VAR_DEGREE_MAX", "INT_VAR_SIZE_DEGREE_MIN", "INT_VAR_SIZE_DEGREE_MAX", "INT_VAR_REGRET_MIN_MIN", "INT_VAR_REGRET_MIN_MAX", "INT_VAR_REGRET_MAX_MIN", "INT_VAR_REGRET_MAX_MAX" }
const Gecode::IntValBranch int_val_branch[] [related] |
Initial value:
{ Gecode::INT_VAL_MIN, Gecode::INT_VAL_MED, Gecode::INT_VAL_MAX, Gecode::INT_VAL_SPLIT_MIN, Gecode::INT_VAL_SPLIT_MAX }
const int n_int_val_branch [related] |
Initial value:
sizeof(int_val_branch)/sizeof(Gecode::IntValBranch)
const char* int_val_branch_name[] [related] |
Member Data Documentation
The documentation for this class was generated from the following file: