Searched defs:roundnr (Results 1 – 3 of 3) sorted by relevance
11468 int roundnr; in propagateBounds() local13252 int roundnr; in SCIP_DECL_CONSPRESOL() local
5315 int roundnr; in propagateBounds() local
6776 int roundnr; in propagateBounds() local