public final class XPDelegate
extends org.processmining.plugins.astar.petrinet.impl.PDelegate
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 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) |
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) |
createInitialTail, getTailDeflater, getTailInflater, isFinal, setStateSpace
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
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)
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)
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)
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)
protected org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<nl.tue.astar.impl.DijkstraTail> constructHeadCompressor(short places2, short activities2)
org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate
constructHeadCompressor
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
public boolean isEnabled(int transition, nl.tue.astar.util.ShortShortMultiset marking)
isEnabled
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
public gnu.trove.list.TIntList getEnabledTransitionsChangingMarking(nl.tue.astar.util.ShortShortMultiset marking)
getEnabledTransitionsChangingMarking
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition(short i)
getTransition
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
public short[] getInputOf(short transition)
getInputOf
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
public short[] getOutputOf(short transition)
getOutputOf
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
public org.deckfour.xes.model.XTrace getTrace(int t)
getTrace
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
public int getActivityOf(int trace, int event)
getActivityOf
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>