Searched refs:originalNumEqs (Results 1 – 1 of 1) sorted by relevance
220 unsigned originalNumEqs = b.getNumEqualities(); in subtractRecursively() local243 for (unsigned i = b.getNumEqualities(); i > originalNumEqs; --i) in subtractRecursively()