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