41 template<
class VarBranch>
59 template<
class VarBranch>
64 template<
class VarBranch>
68 template<
class VarBranch>
74 template<
class VarBranch>
80 : a(a0), b(b0), c(c0), d(d0) {}
82 template<
class VarBranch>
89 template<
class VarBranch>
96 template<
class VarBranch>
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