Scippy

SCIP

Solving Constraint Integer Programs

SCIP_ObjImplics Struct Reference

Detailed Description

implication data structure for objective contributions of a binary variable

Definition at line 72 of file prop_pseudoobj.c.

Data Fields

SCIP_VAR ** objvars
 
SCIP_Real maxobjchg
 
int nlbimpls
 
int nubimpls
 
int size
 

Field Documentation

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 74 of file prop_pseudoobj.c.

Referenced by addConflictBinvar(), adjustCutoffbound(), getMinactImplicObjchg(), and objimplicsDelPos().

SCIP_Real SCIP_ObjImplics::maxobjchg

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().

int SCIP_ObjImplics::nlbimpls

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().

int SCIP_ObjImplics::nubimpls

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().

int SCIP_ObjImplics::size

size of the objvars array

Definition at line 79 of file prop_pseudoobj.c.