Home
last modified time | relevance | path

Searched refs:covervars (Results 1 – 2 of 2) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dheur_nlpdiving.c1296 assert(SCIPisFeasEQ(scip, SCIPvarGetLbLocal(covervars[c]), SCIPvarGetUbLocal(covervars[c]))); in doSolveSubMIP()
1636 SCIP_VAR** covervars; in SCIP_DECL_HEUREXEC() local
1690 covervars = NULL; in SCIP_DECL_HEUREXEC()
1975 … assert(!SCIPisFeasEQ(scip, SCIPvarGetLbLocal(covervars[c]), SCIPvarGetUbLocal(covervars[c]))); in SCIP_DECL_HEUREXEC()
1981 covervars = NULL; in SCIP_DECL_HEUREXEC()
2311 assert(covervars != NULL); in SCIP_DECL_HEUREXEC()
2652 assert(covervars != NULL); in SCIP_DECL_HEUREXEC()
2701 assert(covervars != NULL || !covercomputed); in SCIP_DECL_HEUREXEC()
2702 if( covervars != NULL ) in SCIP_DECL_HEUREXEC()
2703 SCIPfreeBufferArray(scip, &covervars); in SCIP_DECL_HEUREXEC()
[all …]
H A Dcons_knapsack.c2378 assert(covervars != NULL); in getCover()
2585 assert(covervars != NULL); in checkMinweightidx()
2630 assert(covervars != NULL); in getPartitionCovervars()
4637 assert(covervars != NULL); in superadditiveUpLifting()
4677 rhos[h-1] = MAX(0, weights[covervars[h-1]] - weights[covervars[0]] + lambda); in superadditiveUpLifting()
5274 assert(covervars != NULL); in makeCoverMinimal()
5355 covervars[k] = covervars[k+1]; in makeCoverMinimal()
5427 assert(covervars != NULL); in getFeasibleSet()
5461 sortkeys[j] = (solvals[covervars[j]] - 1.0) / ((SCIP_Real) weights[covervars[j]]); in getFeasibleSet()
5478 covervars[k] = covervars[k+1]; in getFeasibleSet()
[all …]