Package de.learnlib.algorithm.adt.api

Interface ADTExtender

All Known Implementing Classes:

DefaultExtender

public interface ADTExtender

Interface for configuration objects that specify how to finalize the temporary splitter given by regular counterexample decomposition.

Method Summary

Modifier and Type	Method	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.

Method Detail

computeExtension

<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.

Type Parameters:

I - input alphabet type

O - output alphabet type

Parameters:

hypothesis - the current hypothesis (with potentially undefined transitions/outputs)

pta - the PartialTransitionAnalyzer for managing partial transitions

temporarySplitter - the current temporary ADT based on the decomposed counterexample

Returns:

the extension result