@ParametersAreNonnullByDefault public class BestEffortDefensiveCalculator extends Object implements DefensiveADSCalculator
Constructor and Description |
---|
BestEffortDefensiveCalculator() |
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) |
public <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)
compute
in interface DefensiveADSCalculator
Copyright © 2018. All rights reserved.