public class ExpExecSemanticsConjunctiveTransitionSystemImpl
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected HybridContext |
context |
protected java.util.List<java.lang.Object> |
currentState |
protected java.util.List<java.util.Map<org.processmining.models.graphbased.directed.transitionsystem.State,java.util.Collection<java.lang.String>>> |
disabledActions |
protected java.lang.String |
executingTransition |
protected java.util.List<org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet> |
finalStates |
protected java.util.List<java.lang.Object> |
initialState |
protected java.util.List<org.processmining.models.graphbased.directed.transitionsystem.StartStateSet> |
initialStates |
protected java.util.List<HybridContext> |
localContext |
protected java.util.List<java.util.Set<java.lang.String>> |
omegaMapping |
protected java.util.List<java.lang.Object> |
previousCurrentState |
protected java.util.List<org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem> |
trans |
| Constructor and Description |
|---|
ExpExecSemanticsConjunctiveTransitionSystemImpl(java.util.List<java.lang.Object[]> transitionSystems,
HybridContext hybridContext) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
canTerminate(java.util.Collection<java.lang.String> canTerminate) |
void |
endTransition(java.lang.String t) |
void |
executeTransition(java.lang.String t) |
java.util.Collection<java.lang.String> |
getNamesOfEnabledTransitions(java.util.Collection<java.lang.String> canTerminate)
TODO: Not yet checked the transitive closure (transitive closure is something specific for the Precision computation, we can maybe split this)
|
void |
initialise() |
boolean |
isAccepting() |
void |
startTransition(java.lang.String t) |
protected java.util.List<org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem> trans
protected java.util.List<org.processmining.models.graphbased.directed.transitionsystem.StartStateSet> initialStates
protected java.util.List<org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet> finalStates
protected java.util.List<HybridContext> localContext
protected java.util.List<java.util.Set<java.lang.String>> omegaMapping
protected java.util.List<java.util.Map<org.processmining.models.graphbased.directed.transitionsystem.State,java.util.Collection<java.lang.String>>> disabledActions
protected java.util.List<java.lang.Object> initialState
protected java.util.List<java.lang.Object> currentState
protected java.util.List<java.lang.Object> previousCurrentState
protected java.lang.String executingTransition
protected HybridContext context
public ExpExecSemanticsConjunctiveTransitionSystemImpl(java.util.List<java.lang.Object[]> transitionSystems,
HybridContext hybridContext)
public void initialise()
public boolean isAccepting()
public boolean canTerminate(java.util.Collection<java.lang.String> canTerminate)
canTerminate: - These are the transition corresponding to subprocesses that can terminatepublic java.util.Collection<java.lang.String> getNamesOfEnabledTransitions(java.util.Collection<java.lang.String> canTerminate)
public void executeTransition(java.lang.String t)
public void startTransition(java.lang.String t)
public void endTransition(java.lang.String t)