LiftingData Struct Reference

Detailed Description

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

Definition at line 4827 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 4830 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 4831 of file cuts.c.

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

r

int LiftingData::r

size of array m

Definition at line 4837 of file cuts.c.

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

t

int LiftingData::t

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

Definition at line 4838 of file cuts.c.

Referenced by computeLiftingData(), evaluateLiftingFunction(), 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 4839 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 4840 of file cuts.c.

Referenced by computeLiftingData().

lambda

SCIP_Real LiftingData::lambda

excess of the flowcover

Definition at line 4841 of file cuts.c.

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

mp

SCIP_Real LiftingData::mp

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

Definition at line 4842 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 4843 of file cuts.c.

Referenced by computeLiftingData(), and evaluateLiftingFunction().