net.automatalib.util.automata.fsa

Class DFAs

java.lang.Object

net.automatalib.util.automata.fsa.DFAs

public abstract class DFAs
extends Object

Constructor Summary

Constructors

Constructor and Description
DFAs()

Method Summary

Modifier and Type	Method and Description
static <I> FastDFA<I>	and(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet)
static <I,S,A extends MutableDFA<S,I>> A	and(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out)
static <I> FastDFA<I>	combine(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet, AcceptanceCombiner combiner)
static <I,S,A extends MutableDFA<S,I>> A	combine(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out, AcceptanceCombiner combiner)
static <I> FastDFA<I>	complement(DFA<?,I> dfa, Alphabet<I> inputAlphabet)
static <I,S,A extends MutableDFA<S,I>> A	complement(DFA<?,I> dfa, Collection<? extends I> inputs, A out)
static <I> FastDFA<I>	equiv(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet)
static <I,S,A extends MutableDFA<S,I>> A	equiv(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out)
static <I> FastDFA<I>	impl(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet)
static <I,S,A extends MutableDFA<S,I>> A	impl(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out)
static <I> FastDFA<I>	or(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet)
static <I,S,A extends MutableDFA<S,I>> A	or(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out)
static <I> FastDFA<I>	xor(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet)
static <I,S,A extends MutableDFA<S,I>> A	xor(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out)

Methods inherited from class java.lang.Object

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

Constructor Detail

DFAs

public DFAs()

Method Detail

combine

public static <I,S,A extends MutableDFA<S,I>> A combine(DFA<?,I> dfa1,
                                                        DFA<?,I> dfa2,
                                                        Collection<? extends I> inputs,
                                                        A out,
                                                        AcceptanceCombiner combiner)

combine

public static <I> FastDFA<I> combine(DFA<?,I> dfa1,
                                     DFA<?,I> dfa2,
                                     Alphabet<I> inputAlphabet,
                                     AcceptanceCombiner combiner)

and

public static <I,S,A extends MutableDFA<S,I>> A and(DFA<?,I> dfa1,
                                                    DFA<?,I> dfa2,
                                                    Collection<? extends I> inputs,
                                                    A out)

and

public static <I> FastDFA<I> and(DFA<?,I> dfa1,
                                 DFA<?,I> dfa2,
                                 Alphabet<I> inputAlphabet)

or

public static <I,S,A extends MutableDFA<S,I>> A or(DFA<?,I> dfa1,
                                                   DFA<?,I> dfa2,
                                                   Collection<? extends I> inputs,
                                                   A out)

or

public static <I> FastDFA<I> or(DFA<?,I> dfa1,
                                DFA<?,I> dfa2,
                                Alphabet<I> inputAlphabet)

xor

public static <I,S,A extends MutableDFA<S,I>> A xor(DFA<?,I> dfa1,
                                                    DFA<?,I> dfa2,
                                                    Collection<? extends I> inputs,
                                                    A out)

xor

public static <I> FastDFA<I> xor(DFA<?,I> dfa1,
                                 DFA<?,I> dfa2,
                                 Alphabet<I> inputAlphabet)

equiv

public static <I,S,A extends MutableDFA<S,I>> A equiv(DFA<?,I> dfa1,
                                                      DFA<?,I> dfa2,
                                                      Collection<? extends I> inputs,
                                                      A out)

equiv

public static <I> FastDFA<I> equiv(DFA<?,I> dfa1,
                                   DFA<?,I> dfa2,
                                   Alphabet<I> inputAlphabet)

impl

public static <I,S,A extends MutableDFA<S,I>> A impl(DFA<?,I> dfa1,
                                                     DFA<?,I> dfa2,
                                                     Collection<? extends I> inputs,
                                                     A out)

impl

public static <I> FastDFA<I> impl(DFA<?,I> dfa1,
                                  DFA<?,I> dfa2,
                                  Alphabet<I> inputAlphabet)

complement

public static <I,S,A extends MutableDFA<S,I>> A complement(DFA<?,I> dfa,
                                                           Collection<? extends I> inputs,
                                                           A out)

complement

public static <I> FastDFA<I> complement(DFA<?,I> dfa,
                                        Alphabet<I> inputAlphabet)