Searched refs:getNumEqs (Results 1 – 2 of 2) sorted by relevance
225 unsigned getNumEqs() const { return numEqs; } in getNumEqs() function
165 removeEqualityRange(counts.getNumEqs(), getNumEqualities()); in truncate()