Uses of Class
org.oristool.analyzer.graph.SuccessionGraph

Packages that use SuccessionGraph

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.graph	Provides classes for the representation of state spaces.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.

Uses of SuccessionGraph in org.oristool.analyzer

Methods in org.oristool.analyzer that return SuccessionGraph

Modifier and Type	Method	Description
SuccessionGraph	Analyzer.analyze()	Starts the analysis.

Uses of SuccessionGraph in org.oristool.analyzer.graph

Methods in org.oristool.analyzer.graph that return SuccessionGraph

Modifier and Type	Method	Description
SuccessionGraph	SuccessionGraph.modifyStates(UnaryOperator<State> stateChange)	Modifies this graph by applying a function to each state.

Uses of SuccessionGraph in org.oristool.models.stpn.trees

Methods in org.oristool.models.stpn.trees with parameters of type SuccessionGraph

Modifier and Type	Method	Description
static void	SuccessionGraphViewer.show(SuccessionGraph graph)	Displays the graph in a JFrame.

Constructors in org.oristool.models.stpn.trees with parameters of type SuccessionGraph

Modifier	Constructor	Description
	SuccessionGraphViewer(SuccessionGraph g)	Creates a graph viewer.

Uses of SuccessionGraph in org.oristool.models.tpn

Methods in org.oristool.models.tpn that return SuccessionGraph

Modifier and Type	Method	Description
SuccessionGraph	TimedAnalysis.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.