struct holding the relevant data for handling binary constraints
Definition at line 1518 of file branch_lookahead.c.
Data Fields | |
BINARYVARLIST * | binaryvars |
CONSTRAINTLIST * | conslist |
BINARYVARLIST* BINCONSDATA::binaryvars |
current binary vars, used to fill the conslist
Definition at line 1520 of file branch_lookahead.c.
CONSTRAINTLIST* BINCONSDATA::conslist |
list of constraints to be created
Definition at line 1521 of file branch_lookahead.c.