Uses of Class
net.automatalib.automaton.vpa.DefaultOneSEVPA
-
Packages that use DefaultOneSEVPA Package Description net.automatalib.util.automaton.random net.automatalib.util.automaton.vpa net.automatalib.util.minimizer -
-
Uses of DefaultOneSEVPA in net.automatalib.util.automaton.random
Methods in net.automatalib.util.automaton.random that return DefaultOneSEVPA Modifier and Type Method Description static <I> DefaultOneSEVPA<I>
RandomAutomata. randomOneSEVPA(Random r, int locCount, VPAlphabet<I> alphabet, double acceptanceProb, double initialRetTransProb, boolean minimize)
static <I> DefaultOneSEVPA<I>
RandomAutomata. randomOneSEVPA(Random r, int locCount, VPAlphabet<I> alphabet, double acceptanceProb, double initialRetTransProb, boolean minimize, DefaultOneSEVPA<I> result)
Methods in net.automatalib.util.automaton.random with parameters of type DefaultOneSEVPA Modifier and Type Method Description static <I> DefaultOneSEVPA<I>
RandomAutomata. randomOneSEVPA(Random r, int locCount, VPAlphabet<I> alphabet, double acceptanceProb, double initialRetTransProb, boolean minimize, DefaultOneSEVPA<I> result)
-
Uses of DefaultOneSEVPA in net.automatalib.util.automaton.vpa
Methods in net.automatalib.util.automaton.vpa that return DefaultOneSEVPA Modifier and Type Method Description static <I> DefaultOneSEVPA<I>
OneSEVPAs. minimize(OneSEVPA<?,I> sevpa, VPAlphabet<I> alphabet)
Minimizes the givenOneSEVPA
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 Description static <I> DefaultOneSEVPA<I>
OneSEVPAMinimizer. minimize(OneSEVPA<?,I> sevpa, VPAlphabet<I> alphabet)
-