/guava/android/guava/src/com/google/common/graph/Traverser.java
} return next;
return next; }
N next = visitNext(horizon); if (next != null) { Iterator<? extends N> successors = successorFunction.successors(next).iterator(); if (successors.hasNext()) { order.insertInto(horizon, successors); } <extra_id_0> } while (!horizon.isEmpty()); return endOfData(); } }; } final Iterator<N> postOrder(Iterator<? extends N> startNodes) {