Class DefaultExtender

    • Method Detail

      • computeExtension

        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)
        Description copied from interface: ADTExtender
        Compute the ADT whose root node should replace the root of the temporary splitter in the current ADT.
        Specified by:
        computeExtension in interface ADTExtender
        Type Parameters:
        I - input alphabet type
        O - output alphabet type
        hypothesis - the current hypothesis (with potentially undefined transitions/outputs)
        partialTransitionAnalyzer - the PartialTransitionAnalyzer for managing partial transitions
        ads - the current temporary ADT based on the decomposed counterexample
        the extension result