S - the type of stateE - the type of eventpublic interface StateMachineModelVerifier<S,E>
StateMachineModel structures.| Modifier and Type | Method and Description |
|---|---|
void |
verify(StateMachineModel<S,E> model)
Verify a state machine model.
|
void verify(StateMachineModel<S,E> model)
model - the state machine model