public class Tree2Automaton
extends java.lang.Object
Constructor and Description |
---|
Tree2Automaton() |
Modifier and Type | Method and Description |
---|---|
static DFA |
convert(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree,
org.processmining.framework.plugin.ProMCanceller canceller) |
static DFA |
getOr(DFA automaton1,
DFA automaton2,
org.processmining.framework.plugin.ProMCanceller canceller) |
public static DFA convert(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree, org.processmining.framework.plugin.ProMCanceller canceller)