| 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. |