net.automatalib.util.automata.fsa

Class MutableDFAs

java.lang.Object

net.automatalib.util.automata.fsa.MutableDFAs

public abstract class MutableDFAs
extends Object

Method Summary

Modifier and Type	Method and Description
static <S,I> void	complement(MutableDFA<S,I> dfa, Collection<? extends I> inputs)
static <S,I> void	complete(MutableDFA<S,I> dfa, Collection<? extends I> inputs)
static <S,I> void	complete(MutableDFA<S,I> dfa, Collection<? extends I> inputs, boolean minimize)
static <S,I> void	complete(MutableDFA<S,I> dfa, Collection<? extends I> inputs, boolean minimize, boolean undefinedAcceptance)

Methods inherited from class java.lang.Object

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

Method Detail

complete

public static <S,I> void complete(MutableDFA<S,I> dfa,
                                  Collection<? extends I> inputs)

complete

public static <S,I> void complete(MutableDFA<S,I> dfa,
                                  Collection<? extends I> inputs,
                                  boolean minimize)

complete

public static <S,I> void complete(MutableDFA<S,I> dfa,
                                  Collection<? extends I> inputs,
                                  boolean minimize,
                                  boolean undefinedAcceptance)

complement

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