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 |
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 \} \)
int LiftingData::t |
SCIP_Real LiftingData::d1 |
SCIP_Real LiftingData::d2 |
SCIP_Real LiftingData::mp |