| Modifier and Type | Method and Description |
|---|---|
static java.lang.Object[] |
Automaton2TransitionSystem.automaton2TransitionSystem(org.processmining.framework.plugin.PluginContext c,
org.processmining.ltl2automaton.plugins.automaton.Automaton auto,
HybridContext context) |
java.lang.Object[] |
HybridDeclare2TransitionSystem.transformDeclare(org.processmining.framework.plugin.PluginContext c,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl,
HybridContext context) |
java.util.List<java.lang.Object[]> |
HybridDeclare2TransitionSystem.transformDeclareSeparateModels(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap decl,
HybridContext hybContext) |
| Modifier and Type | Field and Description |
|---|---|
protected HybridContext |
ExpExecSemanticsConjunctiveTransitionSystemImpl.context |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.List<HybridContext> |
ExpExecSemanticsConjunctiveTransitionSystemImpl.localContext |
| Constructor and Description |
|---|
ExpExecSemanticsConjunctiveTransitionSystemImpl(java.util.List<java.lang.Object[]> transitionSystems,
HybridContext hybridContext) |
| Modifier and Type | Method and Description |
|---|---|
HybridContext |
HybridNodeModel.determineContext() |
HybridContext |
HybridNode.getContext() |
| Modifier and Type | Method and Description |
|---|---|
void |
HybridNode.setContext(HybridContext context) |
| Modifier and Type | Class and Description |
|---|---|
class |
HybridContextImpl |
| Modifier and Type | Method and Description |
|---|---|
HybridContext |
HybridAcceptingPetriNet.determineContext() |
HybridContext |
HybridDeclareModel.determineContext() |
HybridContext |
HybridProcessTree.determineContext() |
HybridContext |
HybridNodeImpl.getContext() |
| Modifier and Type | Method and Description |
|---|---|
void |
HybridNodeImpl.setContext(HybridContext context) |
| Constructor and Description |
|---|
HybridNodeImpl(java.util.UUID id,
java.lang.String name,
K model,
HybridContext context) |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.List<HybridContext> |
HybridDeclareMultipleModelsEfficientImpl.localContext |
protected java.util.List<HybridContext> |
HybridDeclareMultipleModelsImpl.localContext
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.List<java.lang.Object[]> |
Transformer.toConjunctiveTransitionSystems(org.processmining.framework.plugin.PluginContext context,
K model,
HybridContext hybridContext) |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<java.lang.Object[]> |
TransformerDeclare.toConjunctiveTransitionSystems(org.processmining.framework.plugin.PluginContext context,
org.processmining.plugins.declareminer.visualizing.DeclareMap model,
HybridContext hybridContext) |
java.util.List<java.lang.Object[]> |
TransformerAbstract.toConjunctiveTransitionSystems(org.processmining.framework.plugin.PluginContext context,
K model,
HybridContext hybridContext) |