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