Module de.learnlib.algorithm.adt

Package de.learnlib.algorithm.adt.api

Interface ADTExtender

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