public class HybridDeclareImpl extends HybridDeclareImplAbstract
| Modifier and Type | Field and Description |
|---|---|
protected org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet |
finalStates
Deprecated.
|
protected org.processmining.models.graphbased.directed.transitionsystem.StartStateSet |
initialStates
Deprecated.
|
protected org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem |
trans
Deprecated.
|
hdm, initialState| Constructor and Description |
|---|
HybridDeclareImpl(org.processmining.framework.plugin.PluginContext context,
HybridNode<?> hdm)
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.Transition> |
enabledTransitions(HybridDeclareState currentState)
Deprecated.
|
boolean |
isAccepting(HybridDeclareState s)
Deprecated.
|
HybridDeclareState |
performAction(HybridDeclareState currentState,
java.lang.String label)
Deprecated.
|
canTerminateInInitialState, getInitiallyEnabledTransitions, getInitialState, getLabelsOfEnabledTransitions, getName, getPossibleActionsprotected org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem trans
protected org.processmining.models.graphbased.directed.transitionsystem.StartStateSet initialStates
protected org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet finalStates
public HybridDeclareImpl(org.processmining.framework.plugin.PluginContext context,
HybridNode<?> hdm)
throws org.processmining.ltl2automaton.plugins.ltl.SyntaxParserException
org.processmining.ltl2automaton.plugins.ltl.SyntaxParserExceptionpublic boolean isAccepting(HybridDeclareState s)
public HybridDeclareState performAction(HybridDeclareState currentState, java.lang.String label) throws java.lang.Exception
java.lang.Exceptionpublic java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.Transition> enabledTransitions(HybridDeclareState currentState)
enabledTransitions in class HybridDeclareImplAbstract