Searched refs:maxleftactivity (Results 1 – 2 of 2) sorted by relevance
9067 SCIP_Real maxleftactivity; /* maximal activity without surely non-redundant variables. */ in consdataTightenCoefs() local9102 maxleftactivity = 0.0; in consdataTightenCoefs()9213 if( !SCIPisInfinity(scip, maxleftactivity) ) in consdataTightenCoefs()9218 maxleftactivity = SCIPinfinity(scip); in consdataTightenCoefs()9220 maxleftactivity += val * ub; in consdataTightenCoefs()9320 if( !SCIPisInfinity(scip, maxleftactivity) ) in consdataTightenCoefs()9325 maxleftactivity = SCIPinfinity(scip); in consdataTightenCoefs()9327 maxleftactivity += val * lb; in consdataTightenCoefs()9337 maxleftactivity, consdata->lhs); in consdataTightenCoefs()9341 assert(!SCIPisInfinity(scip, maxleftactivity) || SCIPisInfinity(scip, maxactivity)); in consdataTightenCoefs()[all …]
6148 …fixed calculation of min/maxleftactivity and removed asserts concerning whether all redundant vars…