Uses of Class
de.learnlib.algorithm.adt.model.ExtensionResult

Packages that use ExtensionResult

Package	Description
de.learnlib.algorithm.adt.api
de.learnlib.algorithm.adt.model

Uses of ExtensionResult in de.learnlib.algorithm.adt.api

Methods in de.learnlib.algorithm.adt.api that return ExtensionResult

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 ExtensionResult in de.learnlib.algorithm.adt.model

Methods in de.learnlib.algorithm.adt.model that return ExtensionResult

Modifier and Type	Method	Description
static <S,I,O> ExtensionResult<S,I,O>	ExtensionResult.empty()	Utility method, returning the (singleton) object indicating, no result could be computed.