Searched refs:aggrrhs (Results 1 – 1 of 1) sorted by relevance
9069 SCIP_Real aggrrhs; /* rhs without maximal activity of surely non-redundant variables. */ in consdataTightenCoefs() local9365 aggrrhs = consdata->rhs - maxactivity + maxleftactivity; in consdataTightenCoefs()9374 && (SCIPisInfinity(scip, consdata->rhs) || SCIPisFeasGT(scip, minleftactivity, aggrrhs)) ) in consdataTightenCoefs()