Uses of Class
nz.ac.waikato.modeljunit.GraphListener

Packages that use GraphListener

nz.ac.waikato.modeljunit	Overview
nz.ac.waikato.modeljunit.gui.visualisaton

Uses of GraphListener in nz.ac.waikato.modeljunit

Fields in nz.ac.waikato.modeljunit declared as GraphListener

protected GraphListener	GreedyTester.graph_
protected GraphListener	LookaheadTester.graph_

Methods in nz.ac.waikato.modeljunit that return GraphListener

GraphListener	Tester.buildGraph() Equivalent to buildGraph(10000).
GraphListener	Tester.buildGraph(int maxSteps) Equivalent to buildGraph(MaxSteps,true).
GraphListener	Tester.buildGraph(int maxSteps, boolean clear) Calls generate() repeatedly until the graph seems to be complete.
GraphListener	Tester.buildGraphBreadthFirst(int maxDepth, boolean clear) Generate a graph using a breadth-first approach with optimisations.
GraphListener	Model.getGraphListener() Get the GraphListener for this model.

Uses of GraphListener in nz.ac.waikato.modeljunit.gui.visualisaton

Methods in nz.ac.waikato.modeljunit.gui.visualisaton with parameters of type GraphListener

void	JUNGHelper.preExploredGraph(GraphListener graph) This is used to fully explore a graph.
void	PanelJUNGVisualisation.showEmptyExploredGraph(GraphListener graph) This will show the fully explored graph