public class Automaton2Union
extends java.lang.Object
Constructor and Description |
---|
Automaton2Union() |
Modifier and Type | Method and Description |
---|---|
static DFA |
union(DFA automatonA,
DFA automatonB,
org.processmining.framework.plugin.ProMCanceller canceller) |
static DFA |
union(java.util.List<DFA> automata,
org.processmining.framework.plugin.ProMCanceller canceller)
Returns an automaton that accepts the union of the given automata.
|
public static DFA union(java.util.List<DFA> automata, org.processmining.framework.plugin.ProMCanceller canceller)
canceller
- automata
-