TieBreak(VarBranch a0=VarBranch(), VarBranch b0=VarBranch(), VarBranch c0=VarBranch(), VarBranch d0=VarBranch())
Initialize with variable selection criteria.
TieBreak< VarBranch > tiebreak(VarBranch a, VarBranch b, VarBranch c, VarBranch d)
Combine variable selection criteria a, b, c, and d for tie-breaking.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)