Searched defs:removeVar (Results 1 – 1 of 1) sorted by relevance
379 void IntegerRelation::removeVar(VarKind kind, unsigned pos) { removeVar() function in IntegerRelation 383 void IntegerRelation::removeVar(unsigned pos) { removeVarRange(pos, pos + 1); } removeVar() function in IntegerRelation