Uses of Interface
org.oristool.analyzer.Event

Packages that use Event

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.petrinet	Petri net representation.
org.oristool.simulator	Simulator framework.

Uses of Event in org.oristool.analyzer

Classes in org.oristool.analyzer with type parameters of type Event

Modifier and Type	Class	Description
final class	Analyzer<M,E extends Event>	General state-space expansion algorithm.
interface	AnalyzerComponentsFactory<M,E extends Event>	Factory for all the components used by the analyzer.
interface	EnabledEventsBuilder<M,E extends Event>	Common interface used by the analyzer to enumerate the events enabled in a state for a model.
interface	SuccessionEvaluator<M,E extends Event>	Common interface of succession evaluators.

Methods in org.oristool.analyzer that return Event

Modifier and Type	Method	Description
Event	Succession.getEvent()

Methods in org.oristool.analyzer with parameters of type Event

Modifier and Type	Method	Description
void	Succession.setEvent(Event event)

Constructors in org.oristool.analyzer with parameters of type Event

Modifier	Constructor	Description
	Succession(State parent, Event event, State child)	Creates a succession from parent to child.

Uses of Event in org.oristool.petrinet

Classes in org.oristool.petrinet that implement Event

Modifier and Type	Class	Description
final class	Transition	Transition of a Petri net.

Uses of Event in org.oristool.simulator

Classes in org.oristool.simulator with type parameters of type Event

Modifier and Type	Interface	Description
interface	SimulatorComponentsFactory<M,E extends Event>	Factory of components used during the simulation.