Package org.oristool.analyzer

General framework for state space exploration.

Interface Summary

Interface	Description
AnalyzerComponentsFactory<M,E extends Event>	Factory for all the components used by the analyzer.
AnalyzerObserver	Common interface of observers of the analyzer execution.
EnabledEventsBuilder<M,E extends Event>	Common interface used by the analyzer to enumerate the events enabled in a state for a model.
Event	Common interface of events supported by the analyzer.
SuccessionEvaluator<M,E extends Event>	Common interface of succession evaluators.
SuccessionFeature	Common interface of features allowed on a succession.
SuccessionProcessor	Common interface of succession processors supported by the analyzer.

Class Summary

Class	Description
Analyzer<M,E extends Event>	General state-space expansion algorithm.
Succession	Succession between two states after the firing of an event.

Enum Summary

Enum	Description
NoOpProcessor	A succession processor producing no changes on the input succession.