M
- type of modelS
- type of state in modelT
- type of transition from state to state in modelpublic interface ModelSemantics<M,S,T>
Modifier and Type | Interface and Description |
---|---|
static class |
ModelSemantics.Factory |
Modifier and Type | Method and Description |
---|---|
S |
execute(S s,
T t) |
java.util.Collection<T> |
getEnabledTransitions(S s) |
M |
getModel() |
boolean |
isEnabled(T t,
S s) |