Searched refs:originalNumIneqs (Results 1 – 1 of 1) sorted by relevance
219 unsigned originalNumIneqs = b.getNumInequalities(); in subtractRecursively() local240 for (unsigned i = b.getNumInequalities(); i > originalNumIneqs; --i) in subtractRecursively()