Modifier and Type | Method and Description |
---|---|
static void |
ReduceTree.reduceChildrenOf(org.processmining.processtree.Block node,
EfficientTreeReduceParameters reduceParameters) |
org.processmining.processtree.ProcessTree |
ReduceTree.reduceCollapsedTree(org.processmining.framework.plugin.PluginContext context,
org.processmining.processtree.ProcessTree tree) |
org.processmining.processtree.ProcessTree |
ReduceTree.reduceTree(org.processmining.framework.plugin.PluginContext context,
org.processmining.processtree.ProcessTree tree) |
static org.processmining.processtree.ProcessTree |
ReduceTree.reduceTree(org.processmining.processtree.ProcessTree tree,
EfficientTreeReduceParameters reduceParameters) |
Modifier and Type | Method and Description |
---|---|
boolean |
EfficientTreeReductionRule.apply(EfficientTree tree,
int node)
Apply the reduction rule on tree, on the node at position i.
|
static boolean |
EfficientTreeMetrics.canOnlyProduceTau(EfficientTree tree,
int node) |
static boolean |
EfficientTreeMetrics.canProduceSingleActivity(EfficientTree tree,
int node,
int activity) |
static boolean |
EfficientTreeMetrics.canProduceTau(EfficientTree tree,
int node) |
static EfficientTree |
ProcessTree2EfficientTree.convert(org.processmining.processtree.Node node)
Convert a process tree node to a efficient tree
|
static EfficientTree |
ProcessTree2EfficientTree.convert(org.processmining.processtree.ProcessTree processTree)
Convert a process tree into a efficient tree
|
static long |
EfficientTreeMetrics.getShortestTrace(EfficientTree tree,
int node) |
static boolean |
EfficientTreeMetrics.onlyEmptyTrace(EfficientTree tree,
int node) |
static void |
EfficientTreeReduce.reduce(EfficientTree tree) |
static void |
EfficientTreeReduce.reduce(EfficientTree tree,
EfficientTreeReduceParameters reduceParameters) |
void |
EfficientTreeImpl.toString(int node,
java.lang.StringBuilder result) |
static boolean |
EfficientTreeMetrics.traceLengthAtMostOne(EfficientTree tree,
int node) |
static Triple<int[],gnu.trove.map.TObjectIntMap<java.lang.String>,java.lang.String[]> |
ProcessTree2EfficientTree.tree2efficientTree(org.processmining.processtree.Node node)
Convert a process tree into a efficient tree
|
Modifier and Type | Method and Description |
---|---|
boolean |
And2Or.apply(EfficientTree tree,
int node) |
boolean |
IntShortLanguage.apply(EfficientTree tree,
int node) |
boolean |
LoopATauTau2flower.apply(EfficientTree tree,
int loop) |
boolean |
LoopTau.apply(EfficientTree tree,
int node) |
boolean |
LoopTauATau2flower.apply(EfficientTree tree,
int loop)
Deprecated.
|
boolean |
OrXorTau.apply(EfficientTree tree,
int node) |
boolean |
XorDoubleSingleChild.apply(EfficientTree tree,
int node) |
boolean |
XorTauTau.apply(EfficientTree tree,
int node) |
Modifier and Type | Method and Description |
---|---|
static UpToKSuccessorMatrix |
UpToKSuccessor.fromNode(org.processmining.processtree.Node node) |
Modifier and Type | Method and Description |
---|---|
static org.processmining.processtree.Block |
DetectInterleaved.remove(MaybeInterleaved node,
EfficientTreeReduceParameters reduceParameters) |