Package | Description |
---|---|
de.learnlib.algorithms.adt.api | |
de.learnlib.algorithms.adt.config.model.extender | |
de.learnlib.algorithms.adt.learner |
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) |
Constructor and Description |
---|
ADTLearnerState(ADTHypothesis<I,O> hypothesis,
ADT<S,I,O> adt) |
Copyright © 2018. All rights reserved.