37 template<
class VarBranch>
56 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>
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Combine variable selection criteria for tie-breaking.
TieBreak(VarBranch a0=VarBranch(), VarBranch b0=VarBranch(), VarBranch c0=VarBranch(), VarBranch d0=VarBranch())
Initialize with variable selection criteria.
VarBranch a
Branching criteria to try in order.
Variable branching information.
Gecode toplevel namespace
TieBreak< VarBranch > tiebreak(VarBranch a, VarBranch b)
Combine variable selection criteria a and b for tie-breaking.