Searched defs:numInequalities (Results 1 – 1 of 1) sorted by relevance
306 int numInequalities = static_cast<int>(getNumInequalities()); in addId() local2032 unsigned numInequalities = getNumInequalities(); in removeInequality() local