reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
71 VisitQueue.push(QueueElement(Node, None)); 72 VisitQueue.push(None); 78 Optional<QueueElement> Head = VisitQueue.front(); 90 VisitQueue.push(QueueElement(Next, None)); 92 VisitQueue.pop(); 95 if (!VisitQueue.empty()) { 96 Head = VisitQueue.front(); 100 VisitQueue.pop(); 104 if (!VisitQueue.empty()) 105 VisitQueue.push(None); 120 return VisitQueue == RHS.VisitQueue; 120 return VisitQueue == RHS.VisitQueue; 125 const NodeRef &operator*() const { return VisitQueue.front()->first; }