public class PILPDelegate extends AbstractPILPDelegate<PILPTail> implements nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<PHead,PILPTail>
finalMarkings, INFEASIBLE, INFEASIBLE_INT, solvers, threads
act2cost, act2int, actIndex2trans, activities, arcs, classes, headCompressor, INHIBITED, inhibitors, int2act, int2place, int2trans, log, net, NEV, place2int, places, resetArcs, sync2cost, trans2cost, trans2int, transIndex2act, transIndex2input, transIndex2output, transitions, unmapped
Modifier | Constructor and Description |
---|---|
|
PILPDelegate(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,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
|
PILPDelegate(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,
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 |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph 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,
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)
The main constructor that in the end is called by other constructors
|
|
PILPDelegate(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,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
|
PILPDelegate(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,
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)
The following constructors accept mapping from sync moves to cost
|
|
PILPDelegate(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,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
|
PILPDelegate(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,
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) |
|
PILPDelegate(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,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
|
PILPDelegate(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,
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 |
---|---|
PILPTail |
createInitialTail(PHead head)
Loads the required jar and dll files (from the location) provided by the
user via the settings if not loaded already and creates a solverfactory
|
PHeadCompressor<PILPTail> |
getHeadDeflater()
additional requirement on the defater to allow for overwriting previously
written objects.
|
PHeadCompressor<PILPTail> |
getHeadInflater() |
PILPTailCompressor |
getTailDeflater() |
PILPTailCompressor |
getTailInflater() |
deleteLPs, estimate, numFinalMarkings, setStateSpace
constructHeadCompressor, createInitialRecord, getActivitiesFor, getActivityOf, getClassOf, getCostFor, getCostForMoveLog, getCostForMoveModel, getCostForMoveSync, getDelta, getEnabledTransitionsChangingMarking, getEpsilon, getEventClass, getFinalMarkings, getHeadBasedEqualOperation, getHeadBasedHashOperation, getIndexOf, getIndexOf, getIndexOf, getInputOf, getOutputOf, getPetrinet, getPlace, getTrace, getTransition, getTransitions, hasEnabledTransitions, hasResetArc, initialize, isEnabled, isFinal, numEventClasses, numPlaces, numTransitions, setEpsilon
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public PILPDelegate(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, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public PILPDelegate(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, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public PILPDelegate(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, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public PILPDelegate(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, int threads, org.processmining.models.semantics.petrinet.Marking... set)
public PILPDelegate(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, 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 PILPDelegate(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, 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 PILPDelegate(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, 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 PILPDelegate(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, 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 PILPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph 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, 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 PILPTail createInitialTail(PHead head)
public PILPTailCompressor getTailInflater()
public PILPTailCompressor getTailDeflater()
public PHeadCompressor<PILPTail> getHeadInflater()
getHeadInflater
in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<PHead,PILPTail>
getHeadInflater
in class AbstractPDelegate<PILPTail>
public PHeadCompressor<PILPTail> getHeadDeflater()
nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate
getHeadDeflater
in interface nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<PHead,PILPTail>
getHeadDeflater
in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<PHead,PILPTail>
getHeadDeflater
in class AbstractPDelegate<PILPTail>