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>
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.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode::FloatVal c(-8, 8)
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
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