|AnalyzerComponentsFactory<M,E extends Event>||
Factory for all the components used by the analyzer.
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.
Common interface of events supported by the analyzer.
|SuccessionEvaluator<M,E extends Event>||
Common interface of succession evaluators.
Common interface of features allowed on a succession.
Common interface of succession processors supported by the analyzer.
|Analyzer<M,E extends Event>||
General state-space expansion algorithm.
Succession between two states after the firing of an event.
A succession processor producing no changes on the input succession.
Copyright © 2018 STLAB. All rights reserved.