| Package | Description |
|---|---|
| org.processmining.hybrid.semantics | |
| org.processmining.hybrid.semantics.impl | |
| org.processmining.hybrid.semantics.impl.abstrct |
| Modifier and Type | Method and Description |
|---|---|
HybridDeclareState |
HybridDeclare.getInitialState() |
HybridDeclareState |
HybridState.getState(HybridDeclare name) |
HybridDeclareState |
HybridDeclare.performAction(HybridDeclareState currentState,
java.lang.String label) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<java.lang.String> |
HybridDeclare.getLabelsOfEnabledTransitions(HybridDeclareState currentState) |
boolean |
HybridDeclare.isAccepting(HybridDeclareState s) |
HybridDeclareState |
HybridDeclare.performAction(HybridDeclareState currentState,
java.lang.String label) |
void |
HybridState.setState(HybridDeclare name,
HybridDeclareState s) |
| Modifier and Type | Class and Description |
|---|---|
class |
HybridDeclareStateImpl |
| Modifier and Type | Method and Description |
|---|---|
HybridDeclareState |
HybridDeclareImpl.performAction(HybridDeclareState currentState,
java.lang.String label)
Deprecated.
|
HybridDeclareState |
HybridDeclareMultipleModelsEfficientImpl.performAction(HybridDeclareState currentState,
java.lang.String label) |
HybridDeclareState |
HybridDeclareMultipleModelsImpl.performAction(HybridDeclareState currentState,
java.lang.String label)
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
HybridStateImpl.cleanStates(boolean petrinet,
HybridDeclare declareModel,
HybridDeclareState oldState,
HybridDeclareState newState)
Assumptions:
- Petri net is Block-structured
- No subprocess can be initialised multiple times
|
java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.Transition> |
HybridDeclareImpl.enabledTransitions(HybridDeclareState currentState)
Deprecated.
|
java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.Transition> |
HybridDeclareMultipleModelsEfficientImpl.enabledTransitions(HybridDeclareState currentState) |
java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.Transition> |
HybridDeclareMultipleModelsImpl.enabledTransitions(HybridDeclareState currentState)
Deprecated.
|
java.util.Collection<java.lang.String> |
HybridDeclareMultipleModelsEfficientImpl.getLabelsOfEnabledTransitions(HybridDeclareState currentState) |
java.util.Collection<java.lang.String> |
HybridDeclareMultipleModelsImpl.getLabelsOfEnabledTransitions(HybridDeclareState currentState)
Deprecated.
|
boolean |
HybridDeclareImpl.isAccepting(HybridDeclareState s)
Deprecated.
|
boolean |
HybridDeclareMultipleModelsEfficientImpl.isAccepting(HybridDeclareState s) |
boolean |
HybridDeclareMultipleModelsImpl.isAccepting(HybridDeclareState s)
Deprecated.
|
HybridDeclareState |
HybridDeclareImpl.performAction(HybridDeclareState currentState,
java.lang.String label)
Deprecated.
|
HybridDeclareState |
HybridDeclareMultipleModelsEfficientImpl.performAction(HybridDeclareState currentState,
java.lang.String label) |
HybridDeclareState |
HybridDeclareMultipleModelsImpl.performAction(HybridDeclareState currentState,
java.lang.String label)
Deprecated.
|
| Modifier and Type | Field and Description |
|---|---|
protected HybridDeclareState |
HybridDeclareImplAbstract.initialState |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Map<HybridDeclare,HybridDeclareState> |
HybridStateImplAbstract.states |
| Modifier and Type | Method and Description |
|---|---|
HybridDeclareState |
HybridDeclareImplAbstract.getInitialState() |
HybridDeclareState |
HybridStateImplAbstract.getState(HybridDeclare name) |
| Modifier and Type | Method and Description |
|---|---|
protected abstract void |
HybridStateImplAbstract.cleanStates(boolean petrinet,
HybridDeclare name,
HybridDeclareState oldState,
HybridDeclareState s) |
protected abstract java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.Transition> |
HybridDeclareImplAbstract.enabledTransitions(HybridDeclareState currentState) |
java.util.Collection<java.lang.String> |
HybridDeclareImplAbstract.getLabelsOfEnabledTransitions(HybridDeclareState currentState) |
void |
HybridStateImplAbstract.setState(HybridDeclare name,
HybridDeclareState s) |