Branching
[Using finite integer sets with complete domain representation]
Enumerations | |
enum | Gecode::CpltSetVarBranch { Gecode::CPLTSET_VAR_NONE, Gecode::CPLTSET_VAR_MIN_CARD, Gecode::CPLTSET_VAR_MAX_CARD, Gecode::CPLTSET_VAR_MIN_UNKNOWN_ELEM, Gecode::CPLTSET_VAR_MAX_UNKNOWN_ELEM } |
Which variable to select for branching. More... | |
enum | Gecode::CpltSetValBranch { Gecode::CPLTSET_VAL_MIN_UNKNOWN, Gecode::CPLTSET_VAL_MAX_UNKNOWN, Gecode::CPLTSET_VAL_MIN_UNKNOWN_EX_FIRST, Gecode::CPLTSET_VAL_MAX_UNKNOWN_EX_FIRST } |
Which values to select first for branching. More... | |
Functions | |
void | Gecode::branch (Space *home, const CpltSetVarArgs &x, CpltSetVarBranch vars, CpltSetValBranch vals) |
Branch on x with variable selection vars and value selection vals. |
Enumeration Type Documentation
Which variable to select for branching.
- Enumerator:
Definition at line 770 of file cpltset.hh.
Which values to select first for branching.
- Enumerator:
Definition at line 779 of file cpltset.hh.
Function Documentation
GECODE_CPLTSET_EXPORT void Gecode::branch | ( | Space * | home, | |
const CpltSetVarArgs & | xa, | |||
CpltSetVarBranch | vars, | |||
CpltSetValBranch | vals | |||
) |