Package | Description |
---|---|
de.learnlib.algorithms.adt.api | |
de.learnlib.algorithms.adt.config.model.extender | |
de.learnlib.algorithms.adt.model |
Modifier and Type | Method and 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.
|
Modifier and Type | Method and 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) |
Modifier and Type | Method and Description |
---|---|
static <S,I,O> ExtensionResult<S,I,O> |
ExtensionResult.empty()
Utility method, returning the (singleton) object indicating, no result could be computed.
|
Copyright © 2018. All rights reserved.