Lines Matching defs:counts

210                                       const CountsSnapshot &counts) {
211   truncateVarKind(kind, counts.getSpace().getNumVarKind(kind));
214 void IntegerRelation::truncate(const CountsSnapshot &counts) {
215   truncateVarKind(VarKind::Domain, counts);
216   truncateVarKind(VarKind::Range, counts);
217   truncateVarKind(VarKind::Symbol, counts);
218   truncateVarKind(VarKind::Local, counts);
219   removeInequalityRange(counts.getNumIneqs(), getNumInequalities());
220   removeEqualityRange(counts.getNumEqs(), getNumEqualities());
660 /// order of these counts when doing Fourier-Motzkin elimination since FM adds