General framework for state space exploration.
Interface Summary Interface Description AnalyzerComponentsFactory<M,E extends Event>Factory for all the components used by the analyzer. AnalyzerObserverCommon 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. EventCommon interface of events supported by the analyzer. SuccessionEvaluator<M,E extends Event>Common interface of succession evaluators. SuccessionFeatureCommon interface of features allowed on a succession. SuccessionProcessorCommon interface of succession processors supported by the analyzer.
Class Summary Class Description Analyzer<M,E extends Event>General state-space expansion algorithm. SuccessionSuccession between two states after the firing of an event.
Enum Summary Enum Description NoOpProcessorA succession processor producing no changes on the input succession.