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