org.processmining.plugins.balancedconformance.controlflow.override

Class XPILPDelegate

java.lang.Object

org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<T>

org.processmining.plugins.astar.petrinet.impl.AbstractPILPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>

org.processmining.plugins.astar.petrinet.impl.PILPDelegate

org.processmining.plugins.balancedconformance.controlflow.override.XPILPDelegate

All Implemented Interfaces:

nl.tue.astar.Delegate<org.processmining.plugins.astar.petrinet.impl.PHead,org.processmining.plugins.astar.petrinet.impl.PILPTail>, nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,org.processmining.plugins.astar.petrinet.impl.PILPTail>, nl.tue.astar.impl.memefficient.StorageAwareDelegate<org.processmining.plugins.astar.petrinet.impl.PHead,org.processmining.plugins.astar.petrinet.impl.PILPTail>

public final class XPILPDelegate
extends org.processmining.plugins.astar.petrinet.impl.PILPDelegate

Field Summary

Fields inherited from class org.processmining.plugins.astar.petrinet.impl.PILPDelegate

tailCompressor

Fields inherited from class org.processmining.plugins.astar.petrinet.impl.AbstractPILPDelegate

INFEASIBLE, INFEASIBLE_INT, solvers, threads, useFastLowerbounds

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

Method Summary

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)

Methods inherited from class org.processmining.plugins.astar.petrinet.impl.PILPDelegate

createInitialTail, getHeadDeflater, getHeadInflater, getTailDeflater, getTailInflater

Methods inherited from class org.processmining.plugins.astar.petrinet.impl.AbstractPILPDelegate

deleteLPs, estimate, isUseInts, numFinalMarkings, setDebugMode, setStateSpace, useFastLowerbounds

Methods inherited from class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface nl.tue.astar.impl.memefficient.StorageAwareDelegate

getHeadBasedEqualOperation, getHeadBasedHashOperation, setStateSpace

Methods inherited from interface nl.tue.astar.Delegate

createInitialRecord

Constructor Detail

XPILPDelegate

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)

XPILPDelegate

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)

XPILPDelegate

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)

XPILPDelegate

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)

XPILPDelegate

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)

XPILPDelegate

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)

XPILPDelegate

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)

XPILPDelegate

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)

XPILPDelegate

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)

Method Detail

constructHeadCompressor

protected org.processmining.plugins.balancedconformance.controlflow.override.DHeadCompressor<org.processmining.plugins.astar.petrinet.impl.PILPTail> constructHeadCompressor(short places2,
                                                                                                                                                                             short activities2)

Description copied from class: org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate

Overrideable method to change head compressor

Overrides:

constructHeadCompressor in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>

Returns:

isEnabled

public boolean isEnabled(int transition,
                         nl.tue.astar.util.ShortShortMultiset marking)

Overrides:

isEnabled in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>

getEnabledTransitionsChangingMarking

public gnu.trove.list.TIntList getEnabledTransitionsChangingMarking(nl.tue.astar.util.ShortShortMultiset marking)

Overrides:

getEnabledTransitionsChangingMarking in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>

getTransition

public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition(short i)

Overrides:

getTransition in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>

getInputOf

public short[] getInputOf(short transition)

Overrides:

getInputOf in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>

getOutputOf

public short[] getOutputOf(short transition)

Overrides:

getOutputOf in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>

getTrace

public org.deckfour.xes.model.XTrace getTrace(int t)

Overrides:

getTrace in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>

getActivityOf

public int getActivityOf(int trace,
                         int event)

Overrides:

getActivityOf in class org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<org.processmining.plugins.astar.petrinet.impl.PILPTail>