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.
Gecode::FloatVal c(-8, 8)
struct Gecode::@512::NNF::@54::@55 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.
struct Gecode::@512::NNF::@54::@56 a
For atomic nodes.