public final class ShuffleOperations
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Automaton |
shuffle(Automaton a1,
Automaton a2,
org.processmining.framework.plugin.ProMCanceller canceller)
Returns an automaton that accepts the shuffle (interleaving) of the
languages of the given automata.
|
static java.lang.String |
shuffleSubsetOf(java.util.Collection<Automaton> ca,
Automaton a,
java.lang.Character suspend_shuffle,
java.lang.Character resume_shuffle,
org.processmining.framework.plugin.ProMCanceller canceller)
Returns a string that is an interleaving of strings that are accepted by
ca but not by a . |
public static Automaton shuffle(Automaton a1, Automaton a2, org.processmining.framework.plugin.ProMCanceller canceller)
Complexity: quadratic in number of states (if already deterministic).
canceller
- public static java.lang.String shuffleSubsetOf(java.util.Collection<Automaton> ca, Automaton a, java.lang.Character suspend_shuffle, java.lang.Character resume_shuffle, org.processmining.framework.plugin.ProMCanceller canceller)
ca
but not by a
. If no such string exists, null
is returned. As a side-effect, a
is determinized, if not
already deterministic. Only interleavings that respect the suspend/resume
markers (two BMP private code points) are considered if the markers are
non-null. Also, interleavings never split surrogate pairs.
Complexity: proportional to the product of the numbers of states (if
a
is already deterministic).
canceller
-