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