// A is node type, B is link type
sclass BreadthFirstPathFinderWithLinkTypes<A, B> implements Steppable {
  new LinkedList<A> queue;
  new MultiMap<A, Pair<A, B>> links;
  IF1<A, Cl<Pair<A, B>>> getChildren; // must set
  
  *() {}
  *(IF1<A, Cl<Pair<A, B>>> *getChildren) {}
  *(IF1<A, Cl<Pair<A, B>>> *getChildren, A startNode) { add(startNode); }
  
  void add(A a) {
    add(a, null, null);
  }
  
  void add(A a, A prev, B 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, B>> getBackLinksWithTypes(A a) {
    ret links.get(a);
  }
  
  L<Pair<A, B>> examplePath(A start, A dest) {
    new L<A> path;
    A node = dest;
    path.add(pair(node, null)); // dest node has no link type
    do {
      Pair<A, B> link = first(getBackLinks(node));
      if (link == null) null; // no path found
      path.add(link);
      node = link.a;
    } while (node != start);
    ret reversed(path);
  }
}