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)
StateMachineModelVerifier
verify
in interface StateMachineModelVerifier<S,E>
model
- the state machine model