Package net.automatalib.util.automaton.fsa

Class MutableDFAs

java.lang.Object

net.automatalib.util.automaton.fsa.MutableDFAs

public final class MutableDFAs
extends Object

Method Summary

Modifier and Type	Method	Description
static <I> void	complement(MutableDFA<?,I> dfa, Collection<? extends I> inputs)
static <I> void	complete(MutableDFA<?,I> dfa, Collection<? extends I> inputs)
static <I> void	complete(MutableDFA<?,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 <I> void complete(MutableDFA<?,I> dfa,
                                Collection<? extends I> inputs)

complete

public static <I> void complete(MutableDFA<?,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 <I> void complement(MutableDFA<?,I> dfa,
                                  Collection<? extends I> inputs)