| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | heur_clique.c | 138 SCIP_VAR** cliquevars; in getCliqueUnfixedVars() local
145 cliquevars = SCIPcliqueGetVars(clique); in getCliqueUnfixedVars()
149 var = cliquevars[v]; in getCliqueUnfixedVars()
173 SCIP_VAR** cliquevars; in applyCliqueFixings() local
273 cliquevars = SCIPcliqueGetVars(clique); in applyCliqueFixings()
278 var = cliquevars[v]; in applyCliqueFixings()
311 …ebugMsg(scip, "fixed <%s> to %g\n", SCIPvarGetName(cliquevars[bestpos]), SCIPvarGetUbLocal(cliquev… in applyCliqueFixings()
349 …ebugMsg(scip, "fixed <%s> to %g\n", SCIPvarGetName(cliquevars[bestpos]), SCIPvarGetUbLocal(cliquev… in applyCliqueFixings()
356 var = cliquevars[v]; in applyCliqueFixings()
379 onefixvars[(*nonefixvars)] = cliquevars[bestpos]; in applyCliqueFixings()
[all …]
|
| H A D | prop_vbounds.c | 582 SCIP_VAR** cliquevars; in extractCycle() local
885 SCIP_VAR** cliquevars; in dfs() local
895 if( cliquevars[i] == startvar ) in dfs()
907 … && !SCIPisFeasGE(scip, SCIPvarGetLbGlobal(cliquevars[i]), SCIPvarGetUbGlobal(cliquevars[i])) ) in dfs()
2002 SCIP_VAR** cliquevars; in propagateVbounds() local
2013 if( cliquevars[n] == startvar ) in propagateVbounds()
2325 SCIP_VAR** cliquevars; in tarjan() local
2359 SCIP_VAR** cliquevars; in tarjan() local
2364 cliquevars = SCIPcliqueGetVars(cliques[j]); in tarjan()
2470 if( cliquevars[i] == startvar ) in tarjan()
[all …]
|
| H A D | sepa_oddcycle.c | 426 SCIP_VAR** cliquevars; in isNeighbor() local
480 cliquevars = SCIPcliqueGetVars(cliques[i]); in isNeighbor()
1425 SCIP_VAR** cliquevars; in addNextLevelCliques() local
1477 cliquevars = SCIPcliqueGetVars(cliques[j]); in addNextLevelCliques()
1480 assert(cliquevars != NULL || ncliquevars == 0); in addNextLevelCliques()
1599 SCIP_VAR** cliquevars; in insertSortedRootNeighbors() local
1641 cliquevars = SCIPcliqueGetVars(cliques[j]); in insertSortedRootNeighbors()
1644 assert(cliquevars != NULL || ncliquevars == 0); in insertSortedRootNeighbors()
2864 cliquevars = SCIPcliqueGetVars(cliques[k]); in addGLSCliques()
2868 assert(cliquevars != NULL || ncliquevars == 0); in addGLSCliques()
[all …]
|
| H A D | heur_vbounds.c | 302 SCIP_VAR** cliquevars; in dfs() local
332 cliquevars = SCIPcliqueGetVars(cliques[j]); in dfs()
338 if( cliquevars[i] == startvar ) in dfs()
341 if( SCIPvarGetIndex(cliquevars[i]) < 0 ) in dfs()
345 idx = getLbIndex(SCIPvarGetProbindex(cliquevars[i])); in dfs()
347 idx = getUbIndex(SCIPvarGetProbindex(cliquevars[i])); in dfs()
|
| H A D | cons_knapsack.c | 2095 SCIP_VAR** cliquevars; in GUBsetCalcCliquePartition() local
2174 cliquevars[0] = tmpvars[varseq[i]]; in GUBsetCalcCliquePartition()
2236 SCIPfreeBufferArray(scip, &cliquevars); in GUBsetCalcCliquePartition()
9991 SCIP_VAR** cliquevars; in tightenWeightsLift() local
10010 if( var == cliquevars[k] ) in tightenWeightsLift()
10767 SCIP_VAR** cliquevars; in tightenWeights() local
10874 SCIP_VAR** cliquevars, in printClique() argument
10898 SCIP_VAR** cliquevars; in addNegatedCliques() local
11077 SCIPfreeBufferArray(scip, &cliquevars); in addNegatedCliques()
11127 SCIP_VAR** cliquevars; in greedyCliqueAlgorithm() local
[all …]
|
| H A D | scip_copy.c | 2379 SCIP_VAR** cliquevars; in SCIPcopyImplicationsCliques() local
2386 cliquevars = SCIPcliqueGetVars(cliques[c]); in SCIPcopyImplicationsCliques()
2392 …SCIP_CALL( SCIPgetVarCopy(sourcescip, targetscip, cliquevars[j], &targetclique[j], varmap, consmap… in SCIPcopyImplicationsCliques()
2395 …CIPdebugMsg(sourcescip, "Getting copy for variable <%s> failed.\n", SCIPvarGetName(cliquevars[j])); in SCIPcopyImplicationsCliques()
|
| H A D | scip_var.c | 7123 SCIP_VAR** cliquevars; in calcCliquePartitionGreedy() local
7130 SCIP_CALL( SCIPsetAllocBufferArray(scip->set, &cliquevars, nvars) ); in calcCliquePartitionGreedy()
7148 cliquevars[0] = vars[i]; in calcCliquePartitionGreedy()
7166 … if( !SCIPvarsHaveCommonClique(vars[j], values[j], cliquevars[k], cliquevalues[k], FALSE) ) in calcCliquePartitionGreedy()
7174 cliquevars[ncliquevars] = vars[j]; in calcCliquePartitionGreedy()
7202 SCIPsetFreeBufferArray(scip->set, &cliquevars); in calcCliquePartitionGreedy()
|
| /dports/math/highs/HiGHS-cfe064e/src/mip/ |
| H A D | HighsCliqueTable.cpp | 236 void HighsCliqueTable::doAddClique(const CliqueVar* cliquevars, in doAddClique() argument
270 CliqueVar v = cliquevars[i]; in doAddClique()
468 if (numcliquevars == 2 && haveCommonClique(cliquevars[0], cliquevars[1])) in addClique()
472 if (globaldom.isFixed(cliquevars[i].col)) continue; in addClique()
476 if (globaldom.isFixed(cliquevars[j].col)) continue; in addClique()
478 bool iscover = processNewEdge(globaldom, cliquevars[i], cliquevars[j]); in addClique()
486 globaldom.fixCol(cliquevars[k].col, double(1 - cliquevars[k].val)); in addClique()
490 infeasvertexstack.push_back(cliquevars[k]); in addClique()
500 std::remove_if(cliquevars, cliquevars + numcliquevars, in addClique()
502 numcliquevars = unfixedend - cliquevars; in addClique()
[all …]
|
| H A D | HighsCliqueTable.h | 128 void doAddClique(const CliqueVar* cliquevars, int numcliquevars,
141 void addClique(HighsDomain& globaldom, CliqueVar* cliquevars,
|