de.learnlib.algorithms.adt.config.model

Interface DefensiveADSCalculator

All Known Implementing Classes:

BestEffortDefensiveCalculator

@ParametersAreNonnullByDefault
public interface DefensiveADSCalculator

Author:

frohme

Method Summary

Modifier and Type	Method and Description
<S,I,O> Optional<ADTNode<S,I,O>>	compute(net.automatalib.automata.transout.MealyMachine<S,I,?,O> automaton, net.automatalib.words.Alphabet<I> alphabet, Set<S> states, PartialTransitionAnalyzer<S,I> partialTransitionAnalyzer)

Method Detail

compute

<S,I,O> Optional<ADTNode<S,I,O>> compute(net.automatalib.automata.transout.MealyMachine<S,I,?,O> automaton,
                                         net.automatalib.words.Alphabet<I> alphabet,
                                         Set<S> states,
                                         PartialTransitionAnalyzer<S,I> partialTransitionAnalyzer)