BINCONSDATA Struct Reference

Detailed Description

struct holding the relevant data for handling binary constraints

Definition at line 1533 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 1535 of file branch_lookahead.c.

Referenced by createBinaryConstraintName(), and executeBranchingRecursive().

conslist

CONSTRAINTLIST* BINCONSDATA::conslist

list of constraints to be created

Definition at line 1536 of file branch_lookahead.c.

Referenced by selectVarRecursive().