Uses of Interface
de.learnlib.algorithm.adt.api.PartialTransitionAnalyzer
-
-
Uses of PartialTransitionAnalyzer in de.learnlib.algorithm.adt.ads
Methods in de.learnlib.algorithm.adt.ads with parameters of type PartialTransitionAnalyzer Modifier and Type Method Description static <S,I,O>
Optional<ADTNode<S,I,O>>DefensiveADS. compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> alphabet, Set<S> states, PartialTransitionAnalyzer<S,I> pta)
Compute an adaptive distinguishing sequence (as an ADT) for the given automaton and the given set of states. -
Uses of PartialTransitionAnalyzer in de.learnlib.algorithm.adt.api
Methods in de.learnlib.algorithm.adt.api with parameters of type PartialTransitionAnalyzer Modifier and Type Method Description <I,O>
ExtensionResult<ADTState<I,O>,I,O>ADTExtender. computeExtension(ADTHypothesis<I,O> hypothesis, PartialTransitionAnalyzer<ADTState<I,O>,I> pta, ADTNode<ADTState<I,O>,I,O> temporarySplitter)
Compute the ADT whose root node should replace the root of the temporary splitter in the current ADT. -
Uses of PartialTransitionAnalyzer in de.learnlib.algorithm.adt.config.model
Methods in de.learnlib.algorithm.adt.config.model with parameters of type PartialTransitionAnalyzer Modifier and Type Method Description <S,I,O>
Optional<ADTNode<S,I,O>>DefensiveADSCalculator. compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> alphabet, Set<S> states, PartialTransitionAnalyzer<S,I> partialTransitionAnalyzer)
-
Uses of PartialTransitionAnalyzer in de.learnlib.algorithm.adt.config.model.calculator
Methods in de.learnlib.algorithm.adt.config.model.calculator with parameters of type PartialTransitionAnalyzer Modifier and Type Method Description <S,I,O>
Optional<ADTNode<S,I,O>>BestEffortDefensiveCalculator. compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> alphabet, Set<S> states, PartialTransitionAnalyzer<S,I> partialTransitionAnalyzer)
-
Uses of PartialTransitionAnalyzer in de.learnlib.algorithm.adt.config.model.extender
Methods in de.learnlib.algorithm.adt.config.model.extender with parameters of type PartialTransitionAnalyzer Modifier and Type Method Description <I,O>
ExtensionResult<ADTState<I,O>,I,O>DefaultExtender. computeExtension(ADTHypothesis<I,O> hypothesis, PartialTransitionAnalyzer<ADTState<I,O>,I> partialTransitionAnalyzer, ADTNode<ADTState<I,O>,I,O> ads)
-
Uses of PartialTransitionAnalyzer in de.learnlib.algorithm.adt.learner
Classes in de.learnlib.algorithm.adt.learner that implement PartialTransitionAnalyzer Modifier and Type Class Description class
ADTLearner<I,O>
The main learning algorithm.
-