public class MonotonicityAuxiliary
extends java.lang.Object
| Constructor and Description |
|---|
MonotonicityAuxiliary() |
| Modifier and Type | Method and Description |
|---|---|
static double |
computeOccurrence(org.processmining.processtree.Node n) |
static void |
computeProbabilities(org.processmining.processtree.ProcessTree tree)
Computes the probability for events using their distribution, also scales other operators if required
|
static double |
computeProbability(org.processmining.processtree.Node n) |
static java.util.List<org.processmining.processtree.Node> |
computeUpwardClosure(org.processmining.processtree.Node n) |
static java.util.Set<java.lang.String> |
getActivities(org.processmining.processtree.ProcessTree tree) |
static org.processmining.processtree.Node |
getSupremum(org.processmining.processtree.Node n,
org.processmining.processtree.Node np) |
static boolean |
isValidMapping(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map) |
public static java.util.Set<java.lang.String> getActivities(org.processmining.processtree.ProcessTree tree)
public static boolean isValidMapping(org.processmining.processtree.ProcessTree T,
org.processmining.processtree.ProcessTree Tp,
MonoMap map)
public static double computeProbability(org.processmining.processtree.Node n)
throws java.lang.IllegalAccessException,
java.lang.InstantiationException
java.lang.IllegalAccessExceptionjava.lang.InstantiationExceptionpublic static double computeOccurrence(org.processmining.processtree.Node n)
throws java.lang.IllegalAccessException,
java.lang.InstantiationException
java.lang.IllegalAccessExceptionjava.lang.InstantiationExceptionpublic static org.processmining.processtree.Node getSupremum(org.processmining.processtree.Node n,
org.processmining.processtree.Node np)
public static java.util.List<org.processmining.processtree.Node> computeUpwardClosure(org.processmining.processtree.Node n)
public static void computeProbabilities(org.processmining.processtree.ProcessTree tree)
tree -