Branching
[Using finite domain integers]
Enumerations | |
enum | Gecode::IntVarBranch { 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 } |
Which variable to select for branching. More... | |
enum | Gecode::IntValBranch { Gecode::INT_VAL_MIN, Gecode::INT_VAL_MED, Gecode::INT_VAL_MAX, Gecode::INT_VAL_SPLIT_MIN, Gecode::INT_VAL_SPLIT_MAX } |
Which values to select first for branching. More... | |
Functions | |
void | Gecode::branch (Space *home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals) |
Branch over x with variable selection vars and value selection vals. |
Enumeration Type Documentation
enum Gecode::IntVarBranch |
Which variable to select for branching.
- Enumerator:
enum Gecode::IntValBranch |
Function Documentation
void Gecode::branch | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVarBranch | vars, | |||
IntValBranch | vals | |||
) |