org.processmining.plugins.balancedconformance.controlflow.override

Class XPDelegate

java.lang.Object

org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

org.processmining.plugins.astar.petrinet.impl.PDelegate

org.processmining.plugins.balancedconformance.controlflow.override.XPDelegate

All Implemented Interfaces:

nl.tue.astar.Delegate<org.processmining.plugins.astar.petrinet.impl.PHead,nl.tue.astar.impl.DijkstraTail>, nl.tue.astar.impl.memefficient.StorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,nl.tue.astar.impl.DijkstraTail>

public final class XPDelegate
extends org.processmining.plugins.astar.petrinet.impl.PDelegate

Field Summary

Fields inherited from class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate

act2cost, act2int, actIndex2trans, activities, arcs, classes, finalMarkings, headCompressor, INHIBITED, inhibitors, int2act, int2place, int2trans, log, net, NEV, place2int, places, resetArcs, sync2cost, trans2cost, trans2int, transIndex2act, transIndex2input, transIndex2output, transitions, unmapped

Constructor Summary

Constructors

Constructor and Description
XPDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, int delta, boolean allMarkingsAreFinal, org.processmining.models.semantics.petrinet.Marking... set)
XPDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, int delta, boolean allMarkingsAreFinal, org.processmining.models.semantics.petrinet.Marking... set)
XPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, int delta, boolean allMarkingsAreFinal, org.processmining.models.semantics.petrinet.Marking... set)
XPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, int delta, boolean allMarkingsAreFinal, org.processmining.models.semantics.petrinet.Marking... set)

Method Summary

Modifier and Type	Method and Description
protected org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<nl.tue.astar.impl.DijkstraTail>	constructHeadCompressor(short places2, short activities2) Overrideable method to change head compressor
int	getActivityOf(int trace, int event)
gnu.trove.list.TIntList	getEnabledTransitionsChangingMarking(nl.tue.astar.util.ShortShortMultiset marking)
short[]	getInputOf(short transition)
short[]	getOutputOf(short transition)
org.deckfour.xes.model.XTrace	getTrace(int t)
org.processmining.models.graphbased.directed.petrinet.elements.Transition	getTransition(short i)
boolean	isEnabled(int transition, nl.tue.astar.util.ShortShortMultiset marking)

Methods inherited from class org.processmining.plugins.astar.petrinet.impl.PDelegate

createInitialTail, getTailDeflater, getTailInflater, isFinal, setStateSpace

Methods inherited from class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate

createInitialRecord, getActivitiesFor, getClassOf, getCostFor, getCostForMoveLog, getCostForMoveModel, getCostForMoveSync, getDelta, getEpsilon, getEventClass, getFinalMarkings, getHeadBasedEqualOperation, getHeadBasedHashOperation, getHeadDeflater, getHeadInflater, getIndexOf, getIndexOf, getIndexOf, getPetrinet, getPlace, getTransitions, hasEnabledTransitions, hasResetArc, initialize, numEventClasses, numPlaces, numTransitions, setEpsilon

Methods inherited from class java.lang.Object

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

Constructor Detail

XPDelegate

public XPDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
                  org.deckfour.xes.model.XLog log,
                  org.deckfour.xes.classification.XEventClasses classes,
                  org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map,
                  java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
                  java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
                  int delta,
                  boolean allMarkingsAreFinal,
                  org.processmining.models.semantics.petrinet.Marking... set)

XPDelegate

public XPDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                  org.deckfour.xes.model.XLog log,
                  org.deckfour.xes.classification.XEventClasses classes,
                  org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map,
                  java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
                  java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
                  int delta,
                  boolean allMarkingsAreFinal,
                  org.processmining.models.semantics.petrinet.Marking... set)

XPDelegate

public XPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
                  org.deckfour.xes.model.XLog log,
                  org.deckfour.xes.classification.XEventClasses classes,
                  org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map,
                  java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
                  java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
                  int delta,
                  boolean allMarkingsAreFinal,
                  org.processmining.models.semantics.petrinet.Marking... set)

XPDelegate

public XPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net,
                  org.deckfour.xes.model.XLog log,
                  org.deckfour.xes.classification.XEventClasses classes,
                  org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map,
                  java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
                  java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
                  int delta,
                  boolean allMarkingsAreFinal,
                  org.processmining.models.semantics.petrinet.Marking... set)

Method Detail

constructHeadCompressor

protected org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<nl.tue.astar.impl.DijkstraTail> constructHeadCompressor(short places2,
                                                                                                                                short activities2)

Description copied from class: org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate

Overrideable method to change head compressor

Overrides:

constructHeadCompressor in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

Returns:

isEnabled

public boolean isEnabled(int transition,
                         nl.tue.astar.util.ShortShortMultiset marking)

Overrides:

isEnabled in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

getEnabledTransitionsChangingMarking

public gnu.trove.list.TIntList getEnabledTransitionsChangingMarking(nl.tue.astar.util.ShortShortMultiset marking)

Overrides:

getEnabledTransitionsChangingMarking in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

getTransition

public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition(short i)

Overrides:

getTransition in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

getInputOf

public short[] getInputOf(short transition)

Overrides:

getInputOf in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

getOutputOf

public short[] getOutputOf(short transition)

Overrides:

getOutputOf in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

getTrace

public org.deckfour.xes.model.XTrace getTrace(int t)

Overrides:

getTrace in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

getActivityOf

public int getActivityOf(int trace,
                         int event)

Overrides:

getActivityOf in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>