protected class Graph.PathFinder extends java.lang.Object implements Graph.NodeVisitor
Constructor and Description |
---|
PathFinder(java.util.Set<java.util.List<jif.types.Graph.Node>> results,
boolean isBackward) |
Modifier and Type | Method and Description |
---|---|
void |
discoverVertex(jif.types.Graph.Node n) |
void |
leaveVertex(jif.types.Graph.Node n) |
void |
visit(jif.types.Graph.Node n) |
public PathFinder(java.util.Set<java.util.List<jif.types.Graph.Node>> results, boolean isBackward)
public void discoverVertex(jif.types.Graph.Node n)
discoverVertex
in interface Graph.NodeVisitor
public void leaveVertex(jif.types.Graph.Node n)
leaveVertex
in interface Graph.NodeVisitor
public void visit(jif.types.Graph.Node n)
visit
in interface Graph.NodeVisitor