All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
SCIP_ObjImplics Struct Reference Detailed Descriptionimplication data structure for objective contributions of a binary variable Definition at line 72 of file prop_pseudoobj.c.
Field Documentation
variables y in implications y == 0 or y == 1, first we store the implications by x == 0 and second the implications x == 1 Definition at line 74 of file prop_pseudoobj.c. Referenced by addConflictBinvar(), adjustCutoffbound(), getMinactImplicObjchg(), and objimplicsDelPos().
maximum objective contribution if variables x is fixed to zero or one Definition at line 76 of file prop_pseudoobj.c. Referenced by propdataInit(), and SCIP_DECL_SORTPTRCOMP().
number of all implications result through for x == 0 Definition at line 77 of file prop_pseudoobj.c. Referenced by addConflictBinvar(), adjustCutoffbound(), getMinactImplicObjchg(), objimplicsDelPos(), and propdataInit().
number of all implications result through for x == 1 Definition at line 78 of file prop_pseudoobj.c. Referenced by addConflictBinvar(), adjustCutoffbound(), getMinactImplicObjchg(), objimplicsDelPos(), and propdataInit().
size of the objvars array Definition at line 79 of file prop_pseudoobj.c. |