Interface DefensiveADSCalculator
-
- All Known Implementing Classes:
BestEffortDefensiveCalculator
public interface DefensiveADSCalculator
-
-
Method Summary
All Methods Instance Methods Abstract 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
<S,I,O> Optional<ADTNode<S,I,O>> compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> alphabet, Set<S> states, PartialTransitionAnalyzer<S,I> partialTransitionAnalyzer)
-
-