Uses of Class
de.learnlib.algorithm.adt.automaton.ADTHypothesis
-
Packages that use ADTHypothesis Package Description de.learnlib.algorithm.adt.api de.learnlib.algorithm.adt.config.model.extender -
-
Uses of ADTHypothesis in de.learnlib.algorithm.adt.api
Methods in de.learnlib.algorithm.adt.api with parameters of type ADTHypothesis 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 ADTHypothesis in de.learnlib.algorithm.adt.config.model.extender
Methods in de.learnlib.algorithm.adt.config.model.extender with parameters of type ADTHypothesis 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)
-