Searched refs:nimplbdchgs (Results 1 – 3 of 3) sorted by relevance
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | cons_or.c | 1760 int nimplbdchgs; in SCIP_DECL_CONSPRESOL() local
1763 SCIP_BOUNDTYPE_UPPER, 0.0, &cutoff, &nimplbdchgs) ); in SCIP_DECL_CONSPRESOL()
1764 *nchgbds += nimplbdchgs; in SCIP_DECL_CONSPRESOL()
1773 int nimplbdchgs; in SCIP_DECL_CONSPRESOL() local
1776 SCIP_BOUNDTYPE_LOWER, 1.0, &cutoff, &nimplbdchgs) ); in SCIP_DECL_CONSPRESOL()
1777 (*nchgbds) += nimplbdchgs; in SCIP_DECL_CONSPRESOL()
|
| H A D | cons_and.c | 4524 int nimplbdchgs; in SCIP_DECL_CONSPRESOL() local
4527 SCIP_BOUNDTYPE_LOWER, 1.0, &cutoff, &nimplbdchgs) ); in SCIP_DECL_CONSPRESOL()
4528 (*nchgbds) += nimplbdchgs; in SCIP_DECL_CONSPRESOL()
4537 int nimplbdchgs; in SCIP_DECL_CONSPRESOL() local
4540 SCIP_BOUNDTYPE_UPPER, 0.0, &cutoff, &nimplbdchgs) ); in SCIP_DECL_CONSPRESOL()
4541 (*nchgbds) += nimplbdchgs; in SCIP_DECL_CONSPRESOL()
|
| H A D | cons_logicor.c | 3640 int nimplbdchgs; in fixDeleteOrUpgradeCons() local
3648 …IPaddClique(scip, consdata->vars, values, consdata->nvars, FALSE, &implinfeasible, &nimplbdchgs) ); in fixDeleteOrUpgradeCons()
3649 *nchgbds += nimplbdchgs; in fixDeleteOrUpgradeCons()
3657 if ( nimplbdchgs > 0 ) in fixDeleteOrUpgradeCons()
|