Searched refs:nboundsadded (Results 1 – 1 of 1) sorted by relevance
2359 int nboundsadded = 0; in applyDomainReductions() local2433 nboundsadded++; in applyDomainReductions()2484 nboundsadded++; in applyDomainReductions()2506 statistics->ndomred += nboundsadded; in applyDomainReductions()2511 "base lp.\n", nboundsadded, nboundsaddedvio); in applyDomainReductions()