Package de.learnlib.algorithm.adt.config.model.extender

Class DefaultExtender

java.lang.Object

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

All Implemented Interfaces:

ADTExtender

public class DefaultExtender
extends Object
implements ADTExtender

Constructor Summary

Constructors

Constructor	Description
DefaultExtender(DefensiveADSCalculator adsCalculator)

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