Module net.automatalib.util

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 Details

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)