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.