org.processmining.projectedrecallandprecision.helperclasses.automata.operations

Class Automaton2Union

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Union

public class Automaton2Union
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Automaton2Union()

Method Summary

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

Automaton2Union

public Automaton2Union()

Method Detail

union

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

Parameters:

canceller -

automata -

Returns:

the first automaton for convenience.

union

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