public interface HybridDeclare
| Modifier and Type | Method and Description |
|---|---|
boolean |
canTerminateInInitialState() |
java.util.Collection<java.lang.String> |
getInitiallyEnabledTransitions() |
HybridDeclareState |
getInitialState() |
java.util.Collection<java.lang.String> |
getLabelsOfEnabledTransitions(HybridDeclareState currentState) |
java.lang.String |
getName() |
java.util.Collection<java.lang.String> |
getPossibleActions() |
boolean |
isAccepting(HybridDeclareState s) |
HybridDeclareState |
performAction(HybridDeclareState currentState,
java.lang.String label) |
java.lang.String getName()
HybridDeclareState getInitialState()
boolean isAccepting(HybridDeclareState s)
boolean canTerminateInInitialState()
java.util.Collection<java.lang.String> getInitiallyEnabledTransitions()
java.util.Collection<java.lang.String> getPossibleActions()
java.util.Collection<java.lang.String> getLabelsOfEnabledTransitions(HybridDeclareState currentState)
HybridDeclareState performAction(HybridDeclareState currentState, java.lang.String label) throws java.lang.Exception
java.lang.Exception