Searched defs:removeVar (Results 1 – 1 of 1) sorted by relevance
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 IntegerRelation