public abstract class AbstractILPCalculator
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
protected static class |
AbstractILPCalculator.Matrix |
Modifier and Type | Field and Description |
---|---|
protected double |
backtrackThreshold |
protected int |
cutOffLength |
protected static gurobi.GRBEnv |
gbEnv |
protected short |
invisibleTransitions |
protected gnu.trove.map.TObjectShortMap<org.deckfour.xes.classification.XEventClass> |
label2short |
protected short |
labels |
protected short[][] |
log |
protected org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping |
mapping |
protected AbstractILPCalculator.Matrix |
matrixA |
protected AbstractILPCalculator.Matrix |
matrixAMin |
protected int |
maxBackTrackDepth |
protected int |
mode |
protected static int |
MODE_GUROBI |
protected static int |
MODE_LPSOLVE |
static boolean |
NAMES |
protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph |
net |
protected gnu.trove.map.hash.TObjectShortHashMap<java.lang.Object> |
place2int |
protected short |
places |
protected org.processmining.models.semantics.petrinet.PetrinetSemantics |
semantics |
protected gnu.trove.map.TShortObjectMap<org.deckfour.xes.classification.XEventClass> |
short2label |
protected org.processmining.models.graphbased.directed.petrinet.elements.Place[] |
short2place |
protected org.processmining.models.graphbased.directed.petrinet.elements.Transition[] |
short2trans |
protected short[] |
trans2label |
protected gnu.trove.map.hash.TObjectShortHashMap<java.lang.Object> |
trans2short |
protected short |
transitions |
static boolean |
VERBOSE |
Constructor and Description |
---|
AbstractILPCalculator(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
gnu.trove.map.TObjectShortMap<org.deckfour.xes.classification.XEventClass> label2short,
gnu.trove.map.TShortObjectMap<org.deckfour.xes.classification.XEventClass> short2label,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
short[][] log) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
equalLabel(short transition,
short event) |
void |
setBacktrackLimit(int backtrackLimit) |
void |
setBacktrackThreshold(double backtrackThreshold) |
void |
setCutOffLength(int cutOffLength) |
boolean |
setGurobi() |
boolean |
setLPSolve() |
protected nl.tue.astar.util.ilp.LPMatrix<?> |
setupMatrix(int rows,
int columns) |
protected void |
unfire(org.processmining.models.graphbased.directed.petrinet.elements.Transition last,
org.processmining.models.semantics.petrinet.Marking marking) |
public static boolean VERBOSE
public static boolean NAMES
protected static final int MODE_LPSOLVE
protected static final int MODE_GUROBI
protected final org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net
protected final org.processmining.models.semantics.petrinet.PetrinetSemantics semantics
protected final gnu.trove.map.TObjectShortMap<org.deckfour.xes.classification.XEventClass> label2short
protected final gnu.trove.map.TShortObjectMap<org.deckfour.xes.classification.XEventClass> short2label
protected final short transitions
protected final short places
protected final short labels
protected final org.processmining.models.graphbased.directed.petrinet.elements.Transition[] short2trans
protected final org.processmining.models.graphbased.directed.petrinet.elements.Place[] short2place
protected final short[] trans2label
protected final short[][] log
protected final gnu.trove.map.hash.TObjectShortHashMap<java.lang.Object> trans2short
protected final gnu.trove.map.hash.TObjectShortHashMap<java.lang.Object> place2int
protected final short invisibleTransitions
protected static gurobi.GRBEnv gbEnv
protected int mode
protected int cutOffLength
protected double backtrackThreshold
protected int maxBackTrackDepth
protected final AbstractILPCalculator.Matrix matrixAMin
protected final AbstractILPCalculator.Matrix matrixA
protected org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping
public AbstractILPCalculator(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, gnu.trove.map.TObjectShortMap<org.deckfour.xes.classification.XEventClass> label2short, gnu.trove.map.TShortObjectMap<org.deckfour.xes.classification.XEventClass> short2label, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, short[][] log)
protected boolean equalLabel(short transition, short event)
protected nl.tue.astar.util.ilp.LPMatrix<?> setupMatrix(int rows, int columns) throws nl.tue.astar.util.ilp.LPMatrixException
nl.tue.astar.util.ilp.LPMatrixException
public void setCutOffLength(int cutOffLength)
public boolean setLPSolve()
public boolean setGurobi()
protected void unfire(org.processmining.models.graphbased.directed.petrinet.elements.Transition last, org.processmining.models.semantics.petrinet.Marking marking)
public void setBacktrackLimit(int backtrackLimit)
public void setBacktrackThreshold(double backtrackThreshold)