Searched defs:tmpCst (Results 1 – 1 of 1) sorted by relevance
598 IntegerRelation tmpCst(*this); in isEmpty() local1025 IntegerRelation tmpCst(*this); in removeRedundantInequalities() local