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