Class BestEffortDefensiveCalculator
- java.lang.Object
-
- de.learnlib.algorithm.adt.config.model.calculator.BestEffortDefensiveCalculator
-
- All Implemented Interfaces:
DefensiveADSCalculator
public class BestEffortDefensiveCalculator extends Object implements DefensiveADSCalculator
-
-
Constructor Summary
Constructors Constructor Description BestEffortDefensiveCalculator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <S,I,O>
Optional<ADTNode<S,I,O>>compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> alphabet, Set<S> states, PartialTransitionAnalyzer<S,I> partialTransitionAnalyzer)
-
-
-
Method Detail
-
compute
public <S,I,O> Optional<ADTNode<S,I,O>> compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> alphabet, Set<S> states, PartialTransitionAnalyzer<S,I> partialTransitionAnalyzer)
- Specified by:
compute
in interfaceDefensiveADSCalculator
-
-