de.learnlib.algorithms.adt.config.model

Interface ADSCalculator

All Known Implementing Classes:

AbstractCalculator, BestEffortCalculator, MinLengthCalculator, MinSizeCalculator

public interface ADSCalculator

Author:

frohme

Method Summary

Modifier and Type	Method and Description
<S,I,O> Optional<ADTNode<S,I,O>>	compute(MealyMachine<S,I,?,O> hypothesis, Alphabet<I> alphabet, Set<S> targets)

Method Detail

compute

<S,I,O> Optional<ADTNode<S,I,O>> compute(MealyMachine<S,I,?,O> hypothesis,
                                         Alphabet<I> alphabet,
                                         Set<S> targets)