@ParametersAreNonnullByDefault public class DefaultExtender extends Object implements ADTExtender
Constructor and Description |
---|
DefaultExtender(DefensiveADSCalculator adsCalculator) |
Modifier and Type | Method and Description |
---|---|
<I,O> ExtensionResult<ADTState<I,O>,I,O> |
computeExtension(ADTHypothesis<I,O> hypothesis,
PartialTransitionAnalyzer<ADTState<I,O>,I> partialTransitionAnalyzer,
ADTNode<ADTState<I,O>,I,O> ads)
Compute the ADT whose root node should replace the root of the temporary splitter in the current ADT.
|
public DefaultExtender(DefensiveADSCalculator adsCalculator)
public <I,O> ExtensionResult<ADTState<I,O>,I,O> computeExtension(ADTHypothesis<I,O> hypothesis, PartialTransitionAnalyzer<ADTState<I,O>,I> partialTransitionAnalyzer, ADTNode<ADTState<I,O>,I,O> ads)
ADTExtender
computeExtension
in interface ADTExtender
I
- input alphabet typeO
- output alphabet typehypothesis
- the current hypothesis (with potentially undefined transitions/outputs)partialTransitionAnalyzer
- the PartialTransitionAnalyzer
for managing partial transitionsads
- the current temporary ADT based on the decomposed counterexampleCopyright © 2018. All rights reserved.