Searched refs:truncateVarKind (Results 1 – 2 of 2) sorted by relevance
691 void truncateVarKind(VarKind kind, unsigned num);695 void truncateVarKind(VarKind kind, const CountsSnapshot &counts);
148 void IntegerRelation::truncateVarKind(VarKind kind, unsigned num) { in truncateVarKind() function in IntegerRelation154 void IntegerRelation::truncateVarKind(VarKind kind, in truncateVarKind() function in IntegerRelation156 truncateVarKind(kind, counts.getSpace().getNumVarKind(kind)); in truncateVarKind()160 truncateVarKind(VarKind::Domain, counts); in truncate()161 truncateVarKind(VarKind::Range, counts); in truncate()162 truncateVarKind(VarKind::Symbol, counts); in truncate()163 truncateVarKind(VarKind::Local, counts); in truncate()