public class FallThroughWithoutLogTauLoopStrict extends java.lang.Object implements FallThroughWithoutLog
| Constructor and Description |
|---|
FallThroughWithoutLogTauLoopStrict() |
| Modifier and Type | Method and Description |
|---|---|
org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree |
fallThrough(DfgMsd graph,
MinerStateWithoutLog minerState) |
static boolean |
filterGraph(DfgMsd graph) |
public org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree fallThrough(DfgMsd graph, MinerStateWithoutLog minerState)
fallThrough in interface FallThroughWithoutLogpublic static boolean filterGraph(DfgMsd graph)