protected class Graph.LabellingVisitor extends java.lang.Object implements Graph.NodeVisitor
Modifier | Constructor and Description |
---|---|
protected |
LabellingVisitor() |
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 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