37 template<
class VarBranch>
55 template<
class VarBranch>
60 template<
class VarBranch>
64 template<
class VarBranch>
70 template<
class VarBranch>
76 : a(a0), b(b0), c(c0), d(d0) {}
78 template<
class VarBranch>
85 template<
class VarBranch>
92 template<
class VarBranch>
TieBreak< VarBranch > tiebreak(VarBranch a, VarBranch b, VarBranch c, VarBranch d)
Combine variable selection criteria a, b, c, and d for tie-breaking.
Combine variable selection criteria for tie-breaking.
TieBreak< VarBranch > tiebreak(VarBranch a, VarBranch b)
Combine variable selection criteria a and b for tie-breaking.
Variable branching information.
VarBranch a
Branching criteria to try in order.
TieBreak(VarBranch a0=VarBranch(), VarBranch b0=VarBranch(), VarBranch c0=VarBranch(), VarBranch d0=VarBranch())
Initialize with variable selection criteria.
Gecode toplevel namespace