public class PDelegate extends AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>
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 |
---|
PDelegate(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) |
PDelegate(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) |
PDelegate(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) |
PDelegate(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 |
---|---|
nl.tue.astar.impl.DijkstraTail |
createInitialTail(PHead head)
creates the initial tail for the given head.
|
nl.tue.storage.Deflater<nl.tue.astar.impl.DijkstraTail> |
getTailDeflater() |
nl.tue.astar.impl.memefficient.TailInflater<nl.tue.astar.impl.DijkstraTail> |
getTailInflater() |
boolean |
isFinal(nl.tue.astar.util.ShortShortMultiset marking) |
void |
setStateSpace(nl.tue.storage.CompressedHashSet<nl.tue.astar.impl.State<PHead,nl.tue.astar.impl.DijkstraTail>> statespace) |
constructHeadCompressor, createInitialRecord, getActivitiesFor, getActivityOf, getClassOf, getCostFor, getCostForMoveLog, getCostForMoveModel, getCostForMoveSync, 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 PDelegate(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 PDelegate(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 PDelegate(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 PDelegate(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 nl.tue.astar.impl.DijkstraTail createInitialTail(PHead head)
nl.tue.astar.Delegate
public nl.tue.astar.impl.memefficient.TailInflater<nl.tue.astar.impl.DijkstraTail> getTailInflater()
public nl.tue.storage.Deflater<nl.tue.astar.impl.DijkstraTail> getTailDeflater()
public void setStateSpace(nl.tue.storage.CompressedHashSet<nl.tue.astar.impl.State<PHead,nl.tue.astar.impl.DijkstraTail>> statespace)
public boolean isFinal(nl.tue.astar.util.ShortShortMultiset marking)
isFinal
in class AbstractPDelegate<nl.tue.astar.impl.DijkstraTail>