S
- the type of stateE
- the type of eventpublic class DefaultStateMachineModelVerifier<S,E> extends java.lang.Object implements StateMachineModelVerifier<S,E>
StateMachineModelVerifier
.Constructor and Description |
---|
DefaultStateMachineModelVerifier() |
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