SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
structure that contains all data required to perform the sequence independent lifting
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 |
| SCIP_Real* LiftingData::M |
\( M_0 := 0.0 \) and \( M_i := M_i-1 + m_i \)
Definition at line 4607 of file cuts.c.
Referenced by computeLiftingData(), destroyLiftingData(), evaluateLiftingFunction(), and getAlphaAndBeta().
| 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 4608 of file cuts.c.
Referenced by computeLiftingData(), destroyLiftingData(), and evaluateLiftingFunction().
| int LiftingData::r |
size of array m
Definition at line 4614 of file cuts.c.
Referenced by computeLiftingData(), cutsSubstituteStrongCG(), evaluateLiftingFunction(), and getAlphaAndBeta().
| int LiftingData::t |
index of smallest value in m that comes from a variable in \( C^{++} \)
Definition at line 4615 of file cuts.c.
Referenced by computeLiftingData(), and evaluateLiftingFunction().
| 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 4616 of file cuts.c.
Referenced by computeLiftingData(), and generateLiftedFlowCoverCut().
| 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 4617 of file cuts.c.
Referenced by computeLiftingData().
| SCIP_Real LiftingData::lambda |
excess of the flowcover
Definition at line 4618 of file cuts.c.
Referenced by buildFlowCover(), computeLiftingData(), evaluateLiftingFunction(), generateLiftedFlowCoverCut(), getAlphaAndBeta(), and SCIPcalcFlowCover().
| SCIP_Real LiftingData::mp |
smallest variable bound coefficient of variable in \( C^{++} (min_{j \in C++} u_j) \)
Definition at line 4619 of file cuts.c.
Referenced by computeLiftingData(), and evaluateLiftingFunction().
| SCIP_Real LiftingData::ml |
\( ml := min(\lambda, \sum_{j \in C^+ \setminus C^{++}} u_j) \)
Definition at line 4620 of file cuts.c.
Referenced by computeLiftingData(), and evaluateLiftingFunction().