Searched refs:removeRedundantCons (Results 1 – 2 of 2) sorted by relevance
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | cons_setppc.c | 6381 SCIP_RETCODE removeRedundantCons( in removeRedundantCons() function
6519 SCIP_CALL( removeRedundantCons(scip, cons0, cons1, ndelconss) ); in processContainedCons()
6526 SCIP_CALL( removeRedundantCons(scip, cons0, cons1, ndelconss) ); in processContainedCons()
6543 SCIP_CALL( removeRedundantCons(scip, cons1, cons0, ndelconss) ); in processContainedCons()
6568 SCIP_CALL( removeRedundantCons(scip, cons0, cons1, ndelconss) ); in processContainedCons()
6576 SCIP_CALL( removeRedundantCons(scip, cons0, cons1, ndelconss) ); in processContainedCons()
6718 SCIP_CALL( removeRedundantCons(scip, cons0, cons1, ndelconss) ); in removeRedundantConstraints()
6723 SCIP_CALL( removeRedundantCons(scip, cons0, cons1, ndelconss) ); in removeRedundantConstraints()
6728 SCIP_CALL( removeRedundantCons(scip, cons1, cons0, ndelconss) ); in removeRedundantConstraints()
6741 SCIP_CALL( removeRedundantCons(scip, cons0, cons1, ndelconss) ); in removeRedundantConstraints()
|
| H A D | cons_logicor.c | 2026 SCIP_RETCODE removeRedundantCons( in removeRedundantCons() function
2311 SCIP_CALL( removeRedundantCons(scip, cons, cons1, ndelconss) ); in removeRedundantConss()
|