BINCONSDATA Struct Reference

Detailed Description

struct holding the relevant data for handling binary constraints

Definition at line 1521 of file branch_lookahead.c.

Data Fields
BINARYVARLIST *	binaryvars
CONSTRAINTLIST *	conslist

Field Documentation

binaryvars

BINARYVARLIST* BINCONSDATA::binaryvars

current binary vars, used to fill the conslist

Definition at line 1523 of file branch_lookahead.c.

Referenced by addBinaryConstraint(), executeBranchingRecursive(), and selectVarStart().

conslist

CONSTRAINTLIST* BINCONSDATA::conslist

list of constraints to be created

Definition at line 1524 of file branch_lookahead.c.

Referenced by addBinaryConstraint(), isStoreDecision(), selectVarRecursive(), and selectVarStart().