Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    LiftingData Struct Reference

    Detailed Description

    structure that contains all data required to perform the sequence independent lifting

    Definition at line 9146 of file cuts.c.

    Data Fields

    SCIP_Real * M
     
    SCIP_Real * m
     
    int r
     
    int t
     
    SCIP_Real d1
     
    SCIP_Real d2
     
    SCIP_Real lambda
     
    SCIP_Real mp
     
    SCIP_Real ml
     

    Field Documentation

    ◆ M

    SCIP_Real* LiftingData::M

    \( M_0 := 0.0 \) and \( M_i := M_i-1 + m_i \)

    Definition at line 9149 of file cuts.c.

    Referenced by computeLiftingData(), destroyLiftingData(), evaluateLiftingFunction(), generateLiftedFlowCoverCut(), and getAlphaAndBeta().

    ◆ m

    SCIP_Real* LiftingData::m

    non-increasing array of variable upper bound coefficients for all variables in \( C^{++} \) and \( L^- \), where \( C = C^+ \cup C^- \) is the flowcover and \( C^{++} := \{ j \in C^+ \mid u_j > \lambda \} \) \( L^- := \{ j \in (N^- \setminus C^-) \mid u_j > \lambda \} \)

    Definition at line 9150 of file cuts.c.

    Referenced by computeLiftingData(), destroyLiftingData(), evaluateLiftingFunction(), and generateLiftedFlowCoverCut().

    ◆ r

    int LiftingData::r

    size of array m

    Definition at line 9156 of file cuts.c.

    Referenced by computeLiftingData(), evaluateLiftingFunction(), generateLiftedFlowCoverCut(), and getAlphaAndBeta().

    ◆ t

    int LiftingData::t

    index of smallest value in m that comes from a variable in \( C^{++} \)

    Definition at line 9157 of file cuts.c.

    Referenced by computeLiftingData(), and generateLiftedFlowCoverCut().

    ◆ d1

    SCIP_Real LiftingData::d1

    right hand side of single-node-flow set plus the sum of all \( u_j \) for \( j \in C^- \)

    Definition at line 9158 of file cuts.c.

    Referenced by computeLiftingData(), and generateLiftedFlowCoverCut().

    ◆ d2

    SCIP_Real LiftingData::d2

    right hand side of single-node-flow set plus the sum of all \( u_j \) for \( j \in N^- \)

    Definition at line 9159 of file cuts.c.

    Referenced by computeLiftingData().

    ◆ lambda

    SCIP_Real LiftingData::lambda

    excess of the flowcover

    Definition at line 9160 of file cuts.c.

    Referenced by computeLiftingData(), evaluateLiftingFunction(), generateLiftedFlowCoverCut(), and getAlphaAndBeta().

    ◆ mp

    SCIP_Real LiftingData::mp

    smallest variable bound coefficient of variable in \( C^{++} (min_{j \in C++} u_j) \)

    Definition at line 9161 of file cuts.c.

    Referenced by computeLiftingData(), evaluateLiftingFunction(), and generateLiftedFlowCoverCut().

    ◆ ml

    SCIP_Real LiftingData::ml

    \( ml := min(\lambda, \sum_{j \in C^+ \setminus C^{++}} u_j) \)

    Definition at line 9162 of file cuts.c.

    Referenced by computeLiftingData(), and evaluateLiftingFunction().