All Methods Static Methods Concrete Methods
Modifier and Type |
Method and Description |
static <T extends HybridVariableMapping<org.deckfour.xes.classification.XEventClass>> org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> |
constructMarkedPetrinet(T varMap,
java.util.Collection<double[]> solutions) |
static <T extends HybridVariableMapping<?>> boolean |
isOnlyMarking(T varMap,
double[] solution) |
static boolean |
isTrivial(double[] solution) |
static <T extends HybridVariableMapping<java.lang.Integer>,S> org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> |
translateSolutionsToMarkedNet(java.util.Set<double[]> solutions,
org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> markedNet,
T varMap,
LPLogAbstraction<S> logAbstraction) |
static <T extends HybridVariableMapping<java.lang.Integer>,S> org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> |
translateSolutionToPlace(double[] solution,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
org.processmining.models.semantics.petrinet.Marking marking,
T varMap,
LPLogAbstraction<S> logAbstraction) |
static <T extends HybridVariableMapping<java.lang.Integer>,S> org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking> |
translateSolutionToPlace(double[] solution,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
org.processmining.models.semantics.petrinet.Marking marking,
T varMap,
LPLogAbstraction<S> logAbstraction,
double includeThreshold) |