Searched refs:liftrhs (Results 1 – 1 of 1) sorted by relevance
3470 assert(liftrhs != NULL); in sequentialUpAndDownLifting()3512 *liftrhs = alpha0; in sequentialUpAndDownLifting()3541 z = *liftrhs; in sequentialUpAndDownLifting()3727 z = *liftrhs; in sequentialUpAndDownLifting()3954 assert(liftrhs != NULL); in sequentialUpAndDownLiftingGUB()4140 *liftrhs = alpha0; in sequentialUpAndDownLiftingGUB()4767 int liftrhs; in separateSequLiftedMinimalCoverInequality() local4890 if( SCIPisEfficacious(scip, (cutact - liftrhs)/sqrt((SCIP_Real)MAX(liftrhs, 1))) ) in separateSequLiftedMinimalCoverInequality()5000 int liftrhs; in separateSequLiftedExtendedWeightInequality() local5058 if( SCIPisEfficacious(scip, (cutact - liftrhs)/sqrt((SCIP_Real)MAX(liftrhs, 1))) ) in separateSequLiftedExtendedWeightInequality()[all …]