org.processmining.plugins.astar.petrinet.impl

Class DijkstraPDelegate

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.astar.petrinet.impl.DijkstraPDelegate

All Implemented Interfaces:

nl.tue.astar.Delegate<PHead,nl.tue.astar.impl.DijkstraTail>, nl.tue.astar.impl.memefficient.StorageAwareDelegate<PHead,nl.tue.astar.impl.DijkstraTail>

Direct Known Subclasses:

AllOptAlignmentsTreeDelegate

public class DijkstraPDelegate
extends PDelegate

Author:

aadrians Jan 17, 2012

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
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)

Method Summary

Methods

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

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, 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

Methods inherited from class java.lang.Object

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

Constructor Detail

DijkstraPDelegate

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)

DijkstraPDelegate

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)

DijkstraPDelegate

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)

DijkstraPDelegate

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)

Method Detail

getCostForMoveLog

public int getCostForMoveLog(short activity)

Description copied from class: AbstractPDelegate

Cost for move log (but not on model), scaled with delta and added with 1

Overrides:

getCostForMoveLog in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

Returns:

getCostForMoveModel

public int getCostForMoveModel(short transition)

Description copied from class: AbstractPDelegate

Cost for move model (but not on log), scaled with delta and added with 1

Overrides:

getCostForMoveModel in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

Returns:

getCostForMoveSync

public int getCostForMoveSync(short transition)

Description copied from class: AbstractPDelegate

Cost for move synchronous, scaled with delta and added with epsilon

Overrides:

getCostForMoveSync in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

Returns:

getCostFor

public int getCostFor(int modelMove,
             int activity)

Overrides:

getCostFor in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

constructHeadCompressor

protected PHeadCompressor<nl.tue.astar.impl.DijkstraTail> constructHeadCompressor(short places,
                                                                      short activities)

Description copied from class: AbstractPDelegate

Overrideable method to change head compressor

Overrides:

constructHeadCompressor in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>

Returns: