enum Gecode::SetVarBranch |
Which variable to select for branching.
enum Gecode::SetValBranch |
Which values to select first for branching.
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.
Definition at line 107 of file post-view.cpp.
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.
Definition at line 221 of file post-view.cpp.
void Gecode::branch | ( | Home | home, |
SetVar | x, | ||
SetValBranch | vals, | ||
const ValBranchOptions & | o_vals | ||
) |
Branch over x with value selection vals.
Definition at line 112 of file branch.cpp.