|Modifier and Type||Method and Description|
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 type
O- output alphabet type
hypothesis- the current hypothesis (with potentially undefined transitions/outputs)
PartialTransitionAnalyzerfor managing partial transitions
temporarySplitter- the current temporary ADT based on the decomposed counterexample
Copyright © 2018. All rights reserved.