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 FallThroughWithoutLog
public static boolean filterGraph(DfgMsd graph)