org.processmining.hybrid.semantics.impl

Class HybridDeclareMultipleModelsEfficientImpl

java.lang.Object

org.processmining.hybrid.semantics.impl.abstrct.HybridDeclareImplAbstract

org.processmining.hybrid.semantics.impl.HybridDeclareMultipleModelsEfficientImpl

All Implemented Interfaces:

HybridDeclare

public class HybridDeclareMultipleModelsEfficientImpl
extends HybridDeclareImplAbstract

Author:

D.M.M. Schunselaar

Field Summary

Fields

Modifier and Type	Field and Description
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<org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet>	finalStates
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<org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem>	trans

Fields inherited from class org.processmining.hybrid.semantics.impl.abstrct.HybridDeclareImplAbstract

hdm, initialState

Constructor Summary

Constructors

Constructor and Description
HybridDeclareMultipleModelsEfficientImpl(org.processmining.framework.plugin.PluginContext context, HybridNode<?> hdm)
HybridDeclareMultipleModelsEfficientImpl(org.processmining.framework.plugin.PluginContext context, HybridNode<?> hdm, boolean removeNonConstrainingTransitionSystems)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.Transition>	enabledTransitions(HybridDeclareState currentState)
java.util.Collection<java.lang.String>	getLabelsOfEnabledTransitions(HybridDeclareState currentState)
boolean	isAccepting(HybridDeclareState s)
HybridDeclareState	performAction(HybridDeclareState currentState, java.lang.String label)

Methods inherited from class org.processmining.hybrid.semantics.impl.abstrct.HybridDeclareImplAbstract

canTerminateInInitialState, getInitiallyEnabledTransitions, getInitialState, getName, getPossibleActions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

trans

protected java.util.List<org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem> trans

initialStates

protected java.util.List<org.processmining.models.graphbased.directed.transitionsystem.StartStateSet> initialStates

finalStates

protected java.util.List<org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet> finalStates

localContext

protected java.util.List<HybridContext> localContext

omegaMapping

protected java.util.List<java.util.Set<java.lang.String>> omegaMapping

disabledActions

protected java.util.List<java.util.Map<org.processmining.models.graphbased.directed.transitionsystem.State,java.util.Collection<java.lang.String>>> disabledActions

Constructor Detail

HybridDeclareMultipleModelsEfficientImpl

public HybridDeclareMultipleModelsEfficientImpl(org.processmining.framework.plugin.PluginContext context,
                                                HybridNode<?> hdm)
                                         throws java.lang.Exception

Throws:

java.lang.Exception

HybridDeclareMultipleModelsEfficientImpl

public HybridDeclareMultipleModelsEfficientImpl(org.processmining.framework.plugin.PluginContext context,
                                                HybridNode<?> hdm,
                                                boolean removeNonConstrainingTransitionSystems)
                                         throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

isAccepting

public boolean isAccepting(HybridDeclareState s)

getLabelsOfEnabledTransitions

public java.util.Collection<java.lang.String> getLabelsOfEnabledTransitions(HybridDeclareState currentState)

Specified by:

getLabelsOfEnabledTransitions in interface HybridDeclare

Overrides:

getLabelsOfEnabledTransitions in class HybridDeclareImplAbstract

enabledTransitions

public java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.Transition> enabledTransitions(HybridDeclareState currentState)

Specified by:

enabledTransitions in class HybridDeclareImplAbstract

performAction

public HybridDeclareState performAction(HybridDeclareState currentState,
                                        java.lang.String label)
                                 throws java.lang.Exception

Throws:

java.lang.Exception