public final class XPILPDelegate
extends org.processmining.plugins.astar.petrinet.impl.PILPDelegate
tailCompressor
INFEASIBLE, INFEASIBLE_INT, solvers, threads, useFastLowerbounds
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 |
---|
XPILPDelegate(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,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
XPILPDelegate(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,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
XPILPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph 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,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
XPILPDelegate(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,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
XPILPDelegate(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,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
XPILPDelegate(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,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
XPILPDelegate(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,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
XPILPDelegate(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,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
XPILPDelegate(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,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
Modifier and Type | Method and Description |
---|---|
protected org.processmining.plugins.balancedconformance.controlflow.override.DHeadCompressor<org.processmining.plugins.astar.petrinet.impl.PILPTail> |
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, getHeadDeflater, getHeadInflater, getTailDeflater, getTailInflater
deleteLPs, estimate, isUseInts, numFinalMarkings, setDebugMode, setStateSpace, useFastLowerbounds
createInitialRecord, getActivitiesFor, getClassOf, getCostFor, getCostForMoveLog, getCostForMoveModel, getCostForMoveSync, getDelta, getEpsilon, getEventClass, getFinalMarkings, getHeadBasedEqualOperation, getHeadBasedHashOperation, getIndexOf, getIndexOf, getIndexOf, getPetrinet, getPlace, getTransitions, hasEnabledTransitions, hasResetArc, initialize, isFinal, numEventClasses, numPlaces, numTransitions, setEpsilon
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public XPILPDelegate(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, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public XPILPDelegate(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, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost, int delta, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public XPILPDelegate(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, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public XPILPDelegate(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, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost, int delta, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public XPILPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph 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, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public XPILPDelegate(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, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public XPILPDelegate(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, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost, int delta, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public XPILPDelegate(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, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public XPILPDelegate(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, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost, int delta, int threads, org.processmining.models.semantics.petrinet.Marking... set)
protected org.processmining.plugins.balancedconformance.controlflow.override.DHeadCompressor<org.processmining.plugins.astar.petrinet.impl.PILPTail> constructHeadCompressor(short places2, short activities2)
org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate
constructHeadCompressor
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>
public boolean isEnabled(int transition, nl.tue.astar.util.ShortShortMultiset marking)
isEnabled
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>
public gnu.trove.list.TIntList getEnabledTransitionsChangingMarking(nl.tue.astar.util.ShortShortMultiset marking)
getEnabledTransitionsChangingMarking
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition(short i)
getTransition
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>
public short[] getInputOf(short transition)
getInputOf
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>
public short[] getOutputOf(short transition)
getOutputOf
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>
public org.deckfour.xes.model.XTrace getTrace(int t)
getTrace
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>
public int getActivityOf(int trace, int event)
getActivityOf
in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>