public abstract class Graph
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
protected class |
Graph.LabellingVisitor |
static interface |
Graph.NodeVisitor |
protected class |
Graph.PathFinder |
Constructor and Description |
---|
Graph() |
Modifier and Type | Method and Description |
---|---|
protected void |
addEdge(jif.types.Graph.Node from,
jif.types.Graph.Node to,
jif.types.Graph.Edge edge) |
java.util.Set<java.util.List<jif.types.Graph.Node>> |
getBackwardPaths(jif.types.Graph.Node start) |
java.util.Set<java.util.List<jif.types.Graph.Node>> |
getForwardPaths(jif.types.Graph.Node start) |
void |
labelAll(jif.types.Graph.Node root) |
protected void addEdge(jif.types.Graph.Node from, jif.types.Graph.Node to, jif.types.Graph.Edge edge)
public java.util.Set<java.util.List<jif.types.Graph.Node>> getBackwardPaths(jif.types.Graph.Node start)
public java.util.Set<java.util.List<jif.types.Graph.Node>> getForwardPaths(jif.types.Graph.Node start)
public void labelAll(jif.types.Graph.Node root)