Uses of Interface
org.oristool.analyzer.SuccessionEvaluator

Packages that use SuccessionEvaluator

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.

Uses of SuccessionEvaluator in org.oristool.analyzer

Methods in org.oristool.analyzer that return SuccessionEvaluator

Modifier and Type	Method	Description
SuccessionEvaluator<M,E>	AnalyzerComponentsFactory.getSuccessionEvaluator()	Returns the builder for the successor states after an event.

Uses of SuccessionEvaluator in org.oristool.models.pn

Classes in org.oristool.models.pn that implement SuccessionEvaluator

Modifier and Type	Class	Description
final class	PetriSuccessionEvaluator	Builder of successor states for Petri nets.

Methods in org.oristool.models.pn that return SuccessionEvaluator

Modifier and Type	Method	Description
SuccessionEvaluator<PetriNet,Transition>	PetriComponentsFactory.getSuccessionEvaluator()

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

Classes in org.oristool.models.stpn.trees that implement SuccessionEvaluator

Modifier and Type	Class	Description
class	StochasticSuccessionEvaluator	Builder of successor states for stochastic time Petri nets.

Methods in org.oristool.models.stpn.trees that return SuccessionEvaluator

Modifier and Type	Method	Description
SuccessionEvaluator<PetriNet,Transition>	RegenerativeComponentsFactory.getSuccessionEvaluator()
SuccessionEvaluator<PetriNet,Transition>	StochasticComponentsFactory.getSuccessionEvaluator()

Uses of SuccessionEvaluator in org.oristool.models.tpn

Classes in org.oristool.models.tpn that implement SuccessionEvaluator

Modifier and Type	Class	Description
final class	TimedSuccessionEvaluator	Builder of successor states for time Petri nets.

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

Modifier and Type	Method	Description
SuccessionEvaluator<PetriNet,Transition>	TimedComponentsFactory.getSuccessionEvaluator()