org.processmining.plugins.astar.petrinet.impl

Class PILPDelegate

java.lang.Object

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

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

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

All Implemented Interfaces:

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

public class PILPDelegate
extends AbstractPILPDelegate<PILPTail>
implements nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<PHead,PILPTail>

Field Summary

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

finalMarkings, INFEASIBLE, INFEASIBLE_INT, solvers, threads

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

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

Constructor Summary

Constructors

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)

Method Summary

Methods

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

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

deleteLPs, estimate, numFinalMarkings, setStateSpace

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

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

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

PILPDelegate

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)

PILPDelegate

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)

PILPDelegate

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)

PILPDelegate

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)

PILPDelegate

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)

The following constructors accept mapping from sync moves to cost

PILPDelegate

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)

PILPDelegate

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)

PILPDelegate

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)

PILPDelegate

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

Method Detail

createInitialTail

public 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

Specified by:

createInitialTail in interface nl.tue.astar.Delegate<PHead,PILPTail>

Returns:

solverfactory

Throws:

java.io.IOException

getTailInflater

public PILPTailCompressor getTailInflater()

Specified by:

getTailInflater in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<PHead,PILPTail>

getTailDeflater

public PILPTailCompressor getTailDeflater()

Specified by:

getTailDeflater in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<PHead,PILPTail>

getHeadInflater

public PHeadCompressor<PILPTail> getHeadInflater()

Specified by:

getHeadInflater in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<PHead,PILPTail>

Overrides:

getHeadInflater in class AbstractPDelegate<PILPTail>

getHeadDeflater

public PHeadCompressor<PILPTail> getHeadDeflater()

Description copied from interface: nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate

additional requirement on the defater to allow for overwriting previously written objects.

Specified by:

getHeadDeflater in interface nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate<PHead,PILPTail>

Specified by:

getHeadDeflater in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate<PHead,PILPTail>

Overrides:

getHeadDeflater in class AbstractPDelegate<PILPTail>