S
- the type of stateE
- the type of eventpublic interface VerifierConfigurer<S,E> extends AnnotationConfigurerBuilder<StateMachineConfigurationConfigurer<S,E>>
ConfigConfigurer
interface for configuring state machine model verifier.Modifier and Type | Method and Description |
---|---|
VerifierConfigurer<S,E> |
enabled(boolean enabled)
Specify if verifier is enabled.
|
VerifierConfigurer<S,E> |
verifier(StateMachineModelVerifier<S,E> verifier)
Specify a custom model verifier.
|
and
VerifierConfigurer<S,E> enabled(boolean enabled)
enabled
- the enable flagVerifierConfigurer<S,E> verifier(StateMachineModelVerifier<S,E> verifier)
verifier
- the state machine model verifier