Branching
[Using finite integer sets]
Enumerations | |
enum | Gecode::SetVarBranch { 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 } |
Which variable to select for branching. More... | |
enum | Gecode::SetValBranch { Gecode::SET_VAL_MIN, Gecode::SET_VAL_MAX } |
Which values to select first for branching. More... | |
Functions | |
void | Gecode::branch (Space *home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals) |
Branch over x with variable selection vars and value selection vals. |
Enumeration Type Documentation
enum Gecode::SetVarBranch |
enum Gecode::SetValBranch |
Function Documentation
void Gecode::branch | ( | Space * | home, | |
const SetVarArgs & | xa, | |||
SetVarBranch | vars, | |||
SetValBranch | vals | |||
) |