Detailed Description
implication data structure for objective contributions of a binary variable
Definition at line 109 of file prop_pseudoobj.c.
Data Fields | |
SCIP_VAR ** | objvars |
SCIP_Real | maxobjchg |
int | nlbimpls |
int | nubimpls |
int | size |
Field Documentation
◆ objvars
SCIP_VAR** SCIP_ObjImplics::objvars |
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 111 of file prop_pseudoobj.c.
Referenced by addConflictBinvar(), adjustCutoffbound(), and getMinactImplicObjchg().
◆ maxobjchg
SCIP_Real SCIP_ObjImplics::maxobjchg |
maximum objective contribution if variables x is fixed to zero or one
Definition at line 113 of file prop_pseudoobj.c.
◆ nlbimpls
int SCIP_ObjImplics::nlbimpls |
number of all implications result through for x == 0
Definition at line 114 of file prop_pseudoobj.c.
Referenced by addConflictBinvar(), adjustCutoffbound(), getMinactImplicObjchg(), and objimplicsCreate().
◆ nubimpls
int SCIP_ObjImplics::nubimpls |
number of all implications result through for x == 1
Definition at line 115 of file prop_pseudoobj.c.
Referenced by addConflictBinvar(), adjustCutoffbound(), getMinactImplicObjchg(), and objimplicsCreate().
◆ size
int SCIP_ObjImplics::size |
size of the objvars array
Definition at line 116 of file prop_pseudoobj.c.