reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
109 : IntStack(std::move(x.IntStack)), Visited(std::move(x.Visited)), 123 while (!IntStack.empty()) { 125 IntStack.pop_back(); 130 return IntStack == x.IntStack; 130 return IntStack == x.IntStack; 134 const Interval *operator*() const { return IntStack.back().first; } 135 Interval *operator*() { return IntStack.back().first; } 140 assert(!IntStack.empty() && "Attempting to use interval iterator at end!"); 144 Interval::succ_iterator &SuccIt = IntStack.back().second, 145 EndIt = succ_end(IntStack.back().first); 153 if (IOwnMem) delete IntStack.back().first; 156 IntStack.pop_back(); 157 } while (!IntStack.empty()); 188 IntStack.push_back(std::make_pair(Int, succ_begin(Int)));