Searched refs:removeVar (Results 1 – 4 of 4) sorted by relevance
260 void removeVar(VarKind kind, unsigned pos);265 void removeVar(unsigned pos);
288 void IntegerRelation::removeVar(VarKind kind, unsigned pos) { in removeVar() function in IntegerRelation292 void IntegerRelation::removeVar(unsigned pos) { removeVarRange(pos, pos + 1); } in removeVar() function in IntegerRelation1149 removeVar(posB); in eliminateRedundantLocalVar()1252 removeVar(j); in removeRedundantLocalVars()1765 removeVar(pos); in fourierMotzkinEliminate()
186 set.removeVar(VarKind::Symbol, 1); in TEST()
2702 cst.removeVar(0); in createSeparationCondition()