de.learnlib.algorithms.adt.config.model.extender

Class DefaultExtender

java.lang.Object

de.learnlib.algorithms.adt.config.model.extender.DefaultExtender

All Implemented Interfaces:

ADTExtender

@ParametersAreNonnullByDefault
public class DefaultExtender
extends Object
implements ADTExtender

Author:

frohme

Constructor Summary

Constructors

Constructor and Description
DefaultExtender(DefensiveADSCalculator adsCalculator)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultExtender

public DefaultExtender(DefensiveADSCalculator adsCalculator)

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

Parameters:

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

Returns:

the extension result