S - the type of stateE - the type of eventpublic class BaseStructureVerifier<S,E> extends java.lang.Object implements StateMachineModelVerifier<S,E>
StateMachineModelVerifier which verifies a base model structure
like existence of initial states, etc.| Constructor and Description |
|---|
BaseStructureVerifier() |
| Modifier and Type | Method and Description |
|---|---|
void |
verify(StateMachineModel<S,E> model)
Verify a state machine model.
|
public void verify(StateMachineModel<S,E> model)
StateMachineModelVerifierverify in interface StateMachineModelVerifier<S,E>model - the state machine model