public class DijkstraPDelegate extends 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 |
---|
DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
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) |
DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
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) |
DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
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) |
DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
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 PHeadCompressor<nl.tue.astar.impl.DijkstraTail> |
constructHeadCompressor(short places,
short activities)
Overrideable method to change head compressor
|
int |
getCostFor(int modelMove,
int activity) |
int |
getCostForMoveLog(short activity)
Cost for move log (but not on model), scaled with delta and added with 1
|
int |
getCostForMoveModel(short transition)
Cost for move model (but not on log), scaled with delta and added with 1
|
int |
getCostForMoveSync(short transition)
Cost for move synchronous, scaled with delta and added with epsilon
|
createInitialTail, getTailDeflater, getTailInflater, isFinal, setStateSpace
createInitialRecord, getActivitiesFor, getActivityOf, getClassOf, getDelta, getEnabledTransitionsChangingMarking, getEpsilon, getEventClass, getFinalMarkings, getHeadBasedEqualOperation, getHeadBasedHashOperation, getHeadDeflater, getHeadInflater, getIndexOf, getIndexOf, getIndexOf, getInputOf, getOutputOf, getPetrinet, getPlace, getTrace, getTransition, getTransitions, hasEnabledTransitions, hasResetArc, initialize, isEnabled, numEventClasses, numPlaces, numTransitions, setEpsilon
public DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, 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 DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, 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 DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, 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 DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, 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 int getCostForMoveLog(short activity)
AbstractPDelegate
getCostForMoveLog
in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
public int getCostForMoveModel(short transition)
AbstractPDelegate
getCostForMoveModel
in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
public int getCostForMoveSync(short transition)
AbstractPDelegate
getCostForMoveSync
in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
public int getCostFor(int modelMove, int activity)
getCostFor
in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
protected PHeadCompressor<nl.tue.astar.impl.DijkstraTail> constructHeadCompressor(short places, short activities)
AbstractPDelegate
constructHeadCompressor
in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>