Detailed Description
implication data structure for objective contributions of a binary variable
Definition at line 99 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 101 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 103 of file prop_pseudoobj.c.
◆ nlbimpls
| int SCIP_ObjImplics::nlbimpls |
number of all implications result through for x == 0
Definition at line 104 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 105 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 106 of file prop_pseudoobj.c.
