public abstract class AbstractPILPDelegate<T extends nl.tue.astar.Tail> extends AbstractPDelegate<T>
Modifier and Type | Field and Description |
---|---|
protected org.processmining.models.semantics.petrinet.Marking[] |
finalMarkings |
static double |
INFEASIBLE |
static int |
INFEASIBLE_INT |
protected nl.tue.astar.util.LPProblemProvider |
solvers |
protected int |
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
Constructor and Description |
---|
AbstractPILPDelegate(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,
int delta,
int threads,
boolean useInts,
org.processmining.models.semantics.petrinet.Marking... set)
Constructor where estimate value can be changed to real (not integer)
|
AbstractPILPDelegate(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,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set)
Default constructor, assuming that integer is used to estimate cost
|
AbstractPILPDelegate(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,
boolean useInts,
org.processmining.models.semantics.petrinet.Marking... set)
Constructor where the cost for synchronous moves is set
|
Modifier and Type | Method and Description |
---|---|
void |
deleteLPs() |
nl.tue.astar.util.LPResult |
estimate(nl.tue.astar.util.ShortShortMultiset marking,
nl.tue.astar.util.ShortShortMultiset parikh) |
int |
numFinalMarkings() |
void |
setStateSpace(nl.tue.storage.CompressedHashSet<nl.tue.astar.impl.State<PHead,T>> 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, isFinal, numEventClasses, numPlaces, numTransitions, setEpsilon
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static final double INFEASIBLE
public static final int INFEASIBLE_INT
protected final nl.tue.astar.util.LPProblemProvider solvers
protected final org.processmining.models.semantics.petrinet.Marking[] finalMarkings
protected final int threads
public AbstractPILPDelegate(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, int delta, int threads, org.processmining.models.semantics.petrinet.Marking... set)
net
- log
- classes
- map
- mapTrans2Cost
- mapEvClass2Cost
- delta
- threads
- set
- public AbstractPILPDelegate(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, int delta, int threads, boolean useInts, org.processmining.models.semantics.petrinet.Marking... set)
net
- log
- classes
- map
- mapTrans2Cost
- mapEvClass2Cost
- delta
- threads
- useInts
- set
- public AbstractPILPDelegate(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, boolean useInts, org.processmining.models.semantics.petrinet.Marking... set)
net
- log
- classes
- map
- mapTrans2Cost
- mapEvClass2Cost
- mapSync2Cost
- delta
- threads
- useInts
- set
- public void deleteLPs()
public nl.tue.astar.util.LPResult estimate(nl.tue.astar.util.ShortShortMultiset marking, nl.tue.astar.util.ShortShortMultiset parikh)
public void setStateSpace(nl.tue.storage.CompressedHashSet<nl.tue.astar.impl.State<PHead,T>> statespace)
public int numFinalMarkings()