Searched refs:aggrlhs (Results 1 – 1 of 1) sorted by relevance
9068 SCIP_Real aggrlhs; /* lhs without minimal activity of surely non-redundant variables. */ in consdataTightenCoefs() local9364 aggrlhs = consdata->lhs - minactivity + minleftactivity; in consdataTightenCoefs()9373 if( (SCIPisInfinity(scip, -consdata->lhs) || SCIPisFeasLT(scip, maxleftactivity, aggrlhs)) in consdataTightenCoefs()