@ParametersAreNonnullByDefault public interface ADTExtender
Modifier and Type | Method and Description |
---|---|
<I,O> ExtensionResult<ADTState<I,O>,I,O> |
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.
|
<I,O> ExtensionResult<ADTState<I,O>,I,O> computeExtension(ADTHypothesis<I,O> hypothesis, PartialTransitionAnalyzer<ADTState<I,O>,I> pta, ADTNode<ADTState<I,O>,I,O> temporarySplitter)
I
- input alphabet typeO
- output alphabet typehypothesis
- the current hypothesis (with potentially undefined transitions/outputs)pta
- the PartialTransitionAnalyzer
for managing partial transitionstemporarySplitter
- the current temporary ADT based on the decomposed counterexampleCopyright © 2018. All rights reserved.