jif.types

Class Graph.LabellingVisitor

java.lang.Object

jif.types.Graph.LabellingVisitor

All Implemented Interfaces:

Graph.NodeVisitor

Enclosing class:

Graph

protected class Graph.LabellingVisitor
extends java.lang.Object
implements Graph.NodeVisitor

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LabellingVisitor()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LabellingVisitor

protected LabellingVisitor()

Method Detail

discoverVertex

public void discoverVertex(jif.types.Graph.Node n)

Specified by:

discoverVertex in interface Graph.NodeVisitor

leaveVertex

public void leaveVertex(jif.types.Graph.Node n)

Specified by:

leaveVertex in interface Graph.NodeVisitor

visit

public void visit(jif.types.Graph.Node n)

Specified by:

visit in interface Graph.NodeVisitor