Uses of Class
net.automatalib.automata.vpda.DefaultOneSEVPA

Packages that use DefaultOneSEVPA

Package	Description
net.automatalib.util.automata.random
net.automatalib.util.automata.vpda
net.automatalib.util.minimizer

Uses of DefaultOneSEVPA in net.automatalib.util.automata.random

Methods in net.automatalib.util.automata.random that return DefaultOneSEVPA

Modifier and Type	Method and Description
static <I> DefaultOneSEVPA<I>	RandomAutomata.randomOneSEVPA(Random r, int locCount, VPDAlphabet<I> alphabet, double acceptanceProb, double initialRetTransProb, boolean minimize)

Uses of DefaultOneSEVPA in net.automatalib.util.automata.vpda

Methods in net.automatalib.util.automata.vpda that return DefaultOneSEVPA

Modifier and Type	Method and Description
static <I> DefaultOneSEVPA<I>	OneSEVPAs.minimize(OneSEVPA<?,I> sevpa, VPDAlphabet<I> alphabet) Minimizes the given SEVPA over the given alphabet.

Uses of DefaultOneSEVPA in net.automatalib.util.minimizer

Methods in net.automatalib.util.minimizer that return DefaultOneSEVPA

Modifier and Type	Method and Description
static <I> DefaultOneSEVPA<I>	OneSEVPAMinimizer.minimize(OneSEVPA<?,I> sevpa, VPDAlphabet<I> alphabet)