/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | cons_or.c | 1050 …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 D | cons_linking.c | 830 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 D | cons_orbitope.c | 1276 …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 D | cons_and.c | 1274 …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 D | scip_var.h | 2041 SCIP_RETCODE SCIPinferBinvarCons(
|
H A D | cons_xor.c | 3131 …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 D | cons_knapsack.c | 7500 …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 D | cons_setppc.c | 2170 … 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 D | cons_logicor.c | 1514 SCIP_CALL( SCIPinferBinvarCons(scip, vars[watchedvar1], TRUE, cons, 0, &infbdchg, NULL) ); in processWatchedVars()
|
H A D | scip_var.c | 5697 SCIP_RETCODE SCIPinferBinvarCons( in SCIPinferBinvarCons() function
|
/dports/math/SCIP/scip-7.0.3/examples/LOP/src/ |
H A D | cons_lop.c | 849 … 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()
|