@ParametersAreNonnullByDefault public interface ADSCalculator
Modifier and Type | Method and Description |
---|---|
<S,I,O> Optional<ADTNode<S,I,O>> |
compute(net.automatalib.automata.transout.MealyMachine<S,I,?,O> hypothesis,
net.automatalib.words.Alphabet<I> alphabet,
Set<S> targets) |
Copyright © 2018. All rights reserved.