Searched refs:RangeIt (Results 1 – 1 of 1) sorted by relevance
66 auto RangeIt = Range.begin(); in finalizeVisitor() local69 RefutationSolver, Ctx, Sym, RangeIt->From(), RangeIt->To(), in finalizeVisitor()71 while ((++RangeIt) != Range.end()) { in finalizeVisitor()74 RangeIt->From(), RangeIt->To(), in finalizeVisitor()