Searched refs:nvarsT2 (Results 1 – 1 of 1) sorted by relevance
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | cons_knapsack.c | 4997 int nvarsT2; in separateSequLiftedExtendedWeightInequality() local
5018 …etPartitionCovervars(scip, solvals, feassetvars, nfeassetvars, varsT1, varsT2, &nvarsT1, &nvarsT2); in separateSequLiftedExtendedWeightInequality()
5019 assert(nvarsT1 + nvarsT2 == nfeassetvars); in separateSequLiftedExtendedWeightInequality()
5022 if( nvarsT1 == 0 && nvarsT2 > 0) in separateSequLiftedExtendedWeightInequality()
5024 … SCIP_CALL( changePartitionFeasiblesetvars(scip, weights, varsT1, varsT2, &nvarsT1, &nvarsT2) ); in separateSequLiftedExtendedWeightInequality()
5027 assert(nvarsT2 == 0 || nvarsT1 > 0); in separateSequLiftedExtendedWeightInequality()
5035 assert(nvarsT1 + nvarsT2 + nvarsF + nvarsR == nvars - ntightened); in separateSequLiftedExtendedWeightInequality()
5041 …SCIP_CALL( getLiftingSequence(scip, solvals, weights, varsF, varsT2, varsR, nvarsF, nvarsT2, nvars… in separateSequLiftedExtendedWeightInequality()
5055 nvarsT1, nvarsT2, nvarsF, nvarsR, nvarsT1, liftcoefs, &cutact, &liftrhs) ); in separateSequLiftedExtendedWeightInequality()
5085 assert(nvarsT1 + nvarsT2 + nvarsF + nvarsR == nvars - ntightened); in separateSequLiftedExtendedWeightInequality()
[all …]
|