Uses of Class
net.automatalib.util.automaton.ads.LYResult
-
Packages that use LYResult Package Description net.automatalib.util.automaton.ads -
-
Uses of LYResult in net.automatalib.util.automaton.ads
Methods in net.automatalib.util.automaton.ads that return LYResult Modifier and Type Method Description static <S,I,O>
LYResult<S,I,O>LeeYannakakis. compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input)
Computes an ADS using the algorithm of Lee and Yannakakis.
-