Functions |
template<class VarBranch > |
TieBreakVarBranch< VarBranch > | Gecode::tiebreak (VarBranch a, VarBranch b) |
| Combine variable selection criteria a and b for tie-breaking.
|
template<class VarBranch > |
TieBreakVarBranch< VarBranch > | Gecode::tiebreak (VarBranch a, VarBranch b, VarBranch c) |
| Combine variable selection criteria a, b, and c for tie-breaking.
|
template<class VarBranch > |
TieBreakVarBranch< VarBranch > | Gecode::tiebreak (VarBranch a, VarBranch b, VarBranch c, VarBranch d) |
| Combine variable selection criteria a, b, c, and d for tie-breaking.
|
TieBreakVarBranchOptions | Gecode::tiebreak (VarBranchOptions a, VarBranchOptions b) |
| Combine variable branch options a and b for tie-breaking.
|
TieBreakVarBranchOptions | Gecode::tiebreak (VarBranchOptions a, VarBranchOptions b, VarBranchOptions c) |
| Combine variable branch options a, b, and c for tie-breaking.
|
TieBreakVarBranchOptions | Gecode::tiebreak (VarBranchOptions a, VarBranchOptions b, VarBranchOptions c, VarBranchOptions d) |
| Combine variable branch options a, b, c, and d for tie-breaking.
|
void | Gecode::branch (Home home, void(*f)(Space &home)) |
| Call the function f (with the current space as argument) for branching.
|