Searched refs:RangeIt (Results 1 – 1 of 1) sorted by relevance
3438 auto RangeIt = I.second.begin(); in finalizeVisitor() local3441 RefutationSolver, Ctx, Sym, RangeIt->From(), RangeIt->To(), in finalizeVisitor()3443 while ((++RangeIt) != I.second.end()) { in finalizeVisitor()3446 RangeIt->From(), RangeIt->To(), in finalizeVisitor()