Package org.oristool.analyzer

package org.oristool.analyzer

General framework for state space exploration.

Related Packages

Package	Description
org.oristool.analyzer.graph	Provides classes for the representation of state spaces.
org.oristool.analyzer.log	Provides logging and monitoring utilities.
org.oristool.analyzer.policy	Enumeration policies for state space exploration.
org.oristool.analyzer.state	Generic state representation.
org.oristool.analyzer.stop	Stop conditions for state space exploration.

Class	Description
Analyzer<M,E extends Event>	General state-space expansion algorithm.
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.
NoOpProcessor	A succession processor producing no changes on the input succession.
Succession	Succession between two states after the firing of an event.
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.