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

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

    ◆ maxobjchg

    SCIP_Real SCIP_ObjImplics::maxobjchg

    maximum objective contribution if variables x is fixed to zero or one

    Definition at line 107 of file prop_pseudoobj.c.

    Referenced by propdataInit(), and SCIP_DECL_SORTPTRCOMP().

    ◆ nlbimpls

    int SCIP_ObjImplics::nlbimpls

    number of all implications result through for x == 0

    Definition at line 108 of file prop_pseudoobj.c.

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

    ◆ nubimpls

    int SCIP_ObjImplics::nubimpls

    number of all implications result through for x == 1

    Definition at line 109 of file prop_pseudoobj.c.

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

    ◆ size

    int SCIP_ObjImplics::size

    size of the objvars array

    Definition at line 110 of file prop_pseudoobj.c.