Branching
[Using finite integer sets]
Enumerations | |
enum | Gecode::SetVarBranch { Gecode::SET_VAR_NONE = 0, Gecode::SET_VAR_RND, Gecode::SET_VAR_DEGREE_MIN, Gecode::SET_VAR_DEGREE_MAX, Gecode::SET_VAR_AFC_MIN, Gecode::SET_VAR_AFC_MAX, Gecode::SET_VAR_MIN_MIN, Gecode::SET_VAR_MIN_MAX, Gecode::SET_VAR_MAX_MIN, Gecode::SET_VAR_MAX_MAX, Gecode::SET_VAR_SIZE_MIN, Gecode::SET_VAR_SIZE_MAX, Gecode::SET_VAR_SIZE_DEGREE_MIN, Gecode::SET_VAR_SIZE_DEGREE_MAX, Gecode::SET_VAR_SIZE_AFC_MIN, Gecode::SET_VAR_SIZE_AFC_MAX } |
Which variable to select for branching. More... | |
enum | Gecode::SetValBranch { Gecode::SET_VAL_MIN_INC, Gecode::SET_VAL_MIN_EXC, Gecode::SET_VAL_MED_INC, Gecode::SET_VAL_MED_EXC, Gecode::SET_VAL_MAX_INC, Gecode::SET_VAL_MAX_EXC, Gecode::SET_VAL_RND_INC, Gecode::SET_VAL_RND_EXC } |
Which values to select first for branching. More... | |
Functions | |
void | Gecode::branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with variable selection vars and value selection vals. | |
void | Gecode::branch (Home home, const SetVarArgs &x, const TieBreakVarBranch< SetVarBranch > &vars, SetValBranch vals, const TieBreakVarBranchOptions &o_vars=TieBreakVarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with tie-breaking variable selection vars and value selection vals. | |
void | Gecode::branch (Home home, SetVar x, SetValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with value selection vals. |
Enumeration Type Documentation
enum Gecode::SetVarBranch |
Which variable to select for branching.
- Enumerator:
enum Gecode::SetValBranch |
Which values to select first for branching.
- Enumerator:
Function Documentation
void Gecode::branch | ( | Gecode::Home | home, | |
const SetVarArgs & | x, | |||
SetVarBranch | vars, | |||
SetValBranch | vals, | |||
const Gecode::VarBranchOptions & | o_vars, | |||
const Gecode::ValBranchOptions & | o_vals | |||
) |
Branch over x with variable selection vars and value selection vals.
void Gecode::branch | ( | Gecode::Home | home, | |
const SetVarArgs & | x, | |||
const Gecode::TieBreakVarBranch< SetVarBranch > & | vars, | |||
SetValBranch | vals, | |||
const Gecode::TieBreakVarBranchOptions & | o_vars, | |||
const Gecode::ValBranchOptions & | o_vals | |||
) |
Branch over x with tie-breaking variable selection vars and value selection vals.
void Gecode::branch | ( | Home | home, | |
SetVar | x, | |||
SetValBranch | vals, | |||
const ValBranchOptions & | o_vals | |||
) |
Branch over x with value selection vals.