Searched refs:noldupgdconss (Results 1 – 1 of 1) sorted by relevance
12688 int noldupgdconss; in SCIP_DECL_CONSPRESOL() local12692 noldupgdconss = *nupgdconss; in SCIP_DECL_CONSPRESOL()12879 if ( *nupgdconss > noldupgdconss ) in SCIP_DECL_CONSPRESOL()