Uses of Interface
de.learnlib.algorithm.adt.api.PartialTransitionAnalyzer

Packages that use PartialTransitionAnalyzer

Package	Description
de.learnlib.algorithm.adt.ads
de.learnlib.algorithm.adt.api
de.learnlib.algorithm.adt.learner

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(net.automatalib.automaton.transducer.MealyMachine<S,I,?,O> automaton, net.automatalib.alphabet.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.learner

Classes in de.learnlib.algorithm.adt.learner that implement PartialTransitionAnalyzer

Modifier and Type	Class	Description
class	ADTLearner<I,O>	The main learning algorithm.