Searched refs:removeRedundantLocalVars (Results 1 – 3 of 3) sorted by relevance
637 void removeRedundantLocalVars();
601 tmpCst.removeRedundantLocalVars(); in isEmpty()1215 void IntegerRelation::removeRedundantLocalVars() { in removeRedundantLocalVars() function in IntegerRelation
1685 rel.removeRedundantLocalVars(); in compose()