Home
last modified time | relevance | path

Searched refs:SCIPinferBinvarCons (Results 1 – 11 of 11) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_or.c1050 …SCIP_CALL( SCIPinferBinvarCons(scip, resvar, TRUE, cons, (int)PROPRULE_1, &infeasible, &tightened)… in propagateCons()
1082 …SCIP_CALL( SCIPinferBinvarCons(scip, vars[i], FALSE, cons, (int)PROPRULE_2, &infeasible, &tightene… in propagateCons()
1168 …SCIP_CALL( SCIPinferBinvarCons(scip, resvar, FALSE, cons, (int)PROPRULE_3, &infeasible, &tightened… in propagateCons()
1198 …SCIP_CALL( SCIPinferBinvarCons(scip, vars[watchedvar1], TRUE, cons, (int)PROPRULE_4, &infeasible, … in propagateCons()
H A Dcons_linking.c830 SCIP_CALL( SCIPinferBinvarCons(scip, var, FALSE, cons, -2, &infeasible, &tightened) ); in processRealBoundChg()
862 SCIP_CALL( SCIPinferBinvarCons(scip, var, FALSE, cons, -3, &infeasible, &tightened) ); in processRealBoundChg()
912 SCIP_CALL( SCIPinferBinvarCons(scip, var, TRUE, cons, -6, &infeasible, &tightened) ); in processRealBoundChg()
1279 … SCIP_CALL( SCIPinferBinvarCons(scip, var, FALSE, cons, -1, &infeasible, &tightened) ); in processBinvarFixings()
1428 … SCIP_CALL( SCIPinferBinvarCons(scip, var, TRUE, cons, -1, &infeasible, &tightened) ); in processBinvarFixings()
H A Dcons_orbitope.c1276 …SCIP_CALL( SCIPinferBinvarCons(scip, vars[i][j], FALSE, cons, inferInfo, infeasible, &tightened) ); in propagatePackingPartitioningCons()
1374 …SCIP_CALL( SCIPinferBinvarCons(scip, vars[s][lastoneinrow], TRUE, cons, inferInfo, infeasible, &ti… in propagatePackingPartitioningCons()
1835 SCIP_CALL( SCIPinferBinvarCons(scip, vars[origrow][j], (SCIP_Bool) lexminfixes[i][j], in propagateFullOrbitopeCons()
H A Dcons_and.c1274 …SCIP_CALL( SCIPinferBinvarCons(scip, resvar, FALSE, cons, (int)PROPRULE_1, &infeasible, &tightened… in consdataFixResultantZero()
1316 …SCIP_CALL( SCIPinferBinvarCons(scip, vars[v], TRUE, cons, (int)PROPRULE_2, &infeasible, &tightened… in consdataFixOperandsOne()
1499 …SCIP_CALL( SCIPinferBinvarCons(scip, consdata->vars[watchedvar1], FALSE, cons, (int)PROPRULE_4, &i… in analyzeZeroResultant()
1833 …SCIP_CALL( SCIPinferBinvarCons(scip, resvar, TRUE, cons, (int)PROPRULE_3, &infeasible, &tightened)… in propagateCons()
H A Dscip_var.h2041 SCIP_RETCODE SCIPinferBinvarCons(
H A Dcons_xor.c3131 …SCIP_CALL( SCIPinferBinvarCons(scip, vars[watchedvar1], odd, cons, (int)PROPRULE_1, &infeasible, &… in propagateCons()
3287 …SCIP_CALL( SCIPinferBinvarCons(scip, vars[i], TRUE, cons, (int)PROPRULE_INTLB, &infeasible, &tight… in propagateCons()
3309 …SCIP_CALL( SCIPinferBinvarCons(scip, vars[i], FALSE, cons, (int)PROPRULE_INTUB, &infeasible, &tigh… in propagateCons()
H A Dcons_knapsack.c7500 …SCIP_CALL( SCIPinferBinvarCons(scip, myvars[v], TRUE, cons, SCIPvarGetIndex(myvars[i]), &infeasibl… in propagateCons()
7592 …SCIP_CALL( SCIPinferBinvarCons(scip, maxvar, FALSE, cons, cliquestartposs[c], &infeasible, &tighte… in propagateCons()
7640 … SCIP_CALL( SCIPinferBinvarCons(scip, myvars[i], TRUE, cons, -i, &infeasible, &tightened) ); in propagateCons()
7735 …SCIP_CALL( SCIPinferBinvarCons(scip, consdata->vars[i], FALSE, cons, i, &infeasible, &tightened) ); in propagateCons()
H A Dcons_setppc.c2170 … SCIP_CALL( SCIPinferBinvarCons(scip, var, FALSE, cons, oneidx, &infeasible, &tightened) ); in processFixings()
2301 SCIP_CALL( SCIPinferBinvarCons(scip, var, TRUE, cons, 0, &infeasible, &tightened) ); in processFixings()
H A Dcons_logicor.c1514 SCIP_CALL( SCIPinferBinvarCons(scip, vars[watchedvar1], TRUE, cons, 0, &infbdchg, NULL) ); in processWatchedVars()
H A Dscip_var.c5697 SCIP_RETCODE SCIPinferBinvarCons( in SCIPinferBinvarCons() function
/dports/math/SCIP/scip-7.0.3/examples/LOP/src/
H A Dcons_lop.c849 … SCIP_CALL( SCIPinferBinvarCons(scip, vars[j][i], FALSE, cons, i*n + j, &infeasible, &tightened) ); in SCIP_DECL_CONSPROP()
868 … SCIP_CALL( SCIPinferBinvarCons(scip, vars[j][i], TRUE, cons, i*n + j, &infeasible, &tightened) ); in SCIP_DECL_CONSPROP()
892 …SCIP_CALL( SCIPinferBinvarCons(scip, vars[k][i], FALSE, cons, n*n + i*n*n + j*n + k, &infeasible, … in SCIP_DECL_CONSPROP()