Interface | Description |
---|---|
StateMachineModelVerifier<S,E> |
Strategy interface for implementations verifying
StateMachineModel structures. |
Class | Description |
---|---|
BaseStructureVerifier<S,E> |
StateMachineModelVerifier which verifies a base model structure
like existence of initial states, etc. |
CompositeStateMachineModelVerifier<S,E> |
Implementation of a
StateMachineModelVerifier backed by a multiple verifiers. |
DefaultStateMachineModelVerifier<S,E> |
Default implementation of a
StateMachineModelVerifier . |