Searched refs:QueueElement (Results 1 – 1 of 1) sorted by relevance
60 using QueueElement = std::pair<NodeRef, Optional<ChildItTy>>; variable64 std::queue<Optional<QueueElement>> VisitQueue;74 VisitQueue.push(QueueElement(Node, None)); in bf_iterator()81 Optional<QueueElement> Head = VisitQueue.front(); in toNext()82 QueueElement H = Head.getValue(); in toNext()93 VisitQueue.push(QueueElement(Next, None)); in toNext()