sclass BreadthFirstPathFinder<A> implements Steppable {
  new LinkedList<A> queue;
  new MultiMap<A, Pair<A, O>> links; // second of pair is link type
  IF1<A, Cl<A>> getChildren; // must set
  
  *() {}
  *(IF1<A, Cl<A>> *getChildren) {}
  *(IF1<A, Cl<A>> *getChildren, A startNode) { add(startNode); }
  
  void add(A a) {
    add(a, null, null);
  }
  
  void add(A a, A prev, O linkType) {
    if (!links.containsKey(a)) {
      links.put(a, prev == null ?: pair(prev, linkType));
      queue.add(a);
    }
  }
  
  public bool step() {
    ping();
    if (empty(queue)) false;
    A a = popFirst(queue);
    fOr (A b : getChildren.get(a))
      add(b, a);
    true;
  }
  
  bool nodeReached(A a) {
    ret links.containsKey(a);
  }
  
  Cl<A> getBackLinks(A a) {
    ret pairsA(links.get(a));
  }
  
  Cl<Pair<A, O>> getBackLinksWithTypes(A a) {
    ret links.get(a);
  }
  
  L<A> examplePath(A start, A dest) {
    new L<A> path;
    A node = dest;
    path.add(node);
    do {
      if (node == null) null; // no path found
      node = pairA(first(getBackLinks(node)));
      path.add(node);
    } while (node != start);
    ret reversed(path);
  }
}