Searched defs:nimplbdchgs (Results 1 – 3 of 3) sorted by relevance
1760 int nimplbdchgs; in SCIP_DECL_CONSPRESOL() local1773 int nimplbdchgs; in SCIP_DECL_CONSPRESOL() local
4524 int nimplbdchgs; in SCIP_DECL_CONSPRESOL() local4537 int nimplbdchgs; in SCIP_DECL_CONSPRESOL() local
3640 int nimplbdchgs; in fixDeleteOrUpgradeCons() local