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 78 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 80 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 82 of file prop_pseudoobj.c.

◆ nlbimpls

int SCIP_ObjImplics::nlbimpls

number of all implications result through for x == 0

Definition at line 83 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 84 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 85 of file prop_pseudoobj.c.