org.processmining.projectedrecallandprecision.helperclasses.automata.operations

Class Automaton2Shuffle

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Shuffle

public class Automaton2Shuffle
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Automaton2Shuffle()

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Automaton2Shuffle

public Automaton2Shuffle()

Method Detail

shuffle

public 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. Does not modify the input automata.

Parameters:

automatonA -

automatonB -

canceller -

Returns:

shuffle

public static DFA shuffle(DFA automatonA,
                          DFA automatonB,
                          org.processmining.framework.plugin.ProMCanceller canceller)