Branching
[Using finite integer sets]
Collaboration diagram for Branching:
![]() |
Enumerations | |
enum | Gecode::SetBvarSel { Gecode::SETBVAR_NONE, Gecode::SETBVAR_MIN_CARD, Gecode::SETBVAR_MAX_CARD, Gecode::SETBVAR_MIN_UNKNOWN_ELEM, Gecode::SETBVAR_MAX_UNKNOWN_ELEM } |
Which variable to select for branching. More... | |
enum | Gecode::SetBvalSel { Gecode::SETBVAL_MIN, Gecode::SETBVAL_MAX } |
Which values to select first for branching. More... | |
Functions | |
void | Gecode::branch (Space *home, const SetVarArgs &x, SetBvarSel vars, SetBvalSel vals) |
Branch over all x with variable selection vars and value selection vals. |
Enumeration Type Documentation
enum Gecode::SetBvarSel |
enum Gecode::SetBvalSel |
Function Documentation
void Gecode::branch | ( | Space * | home, | |
const SetVarArgs & | xa, | |||
SetBvarSel | vars, | |||
SetBvalSel | vals | |||
) |