de.learnlib.algorithms.adt.model

Class ExtensionResult<S,I,O>

java.lang.Object

de.learnlib.algorithms.adt.model.ExtensionResult<S,I,O>

Type Parameters:

S - (hypothesis) state type

I - input alphabet type

O - output alphabet type

@ParametersAreNonnullByDefault
public class ExtensionResult<S,I,O>
extends Object

A class that describes the possible result a ADTExtender can return. Extending a parent trace can either

• yield a counterexample, if the output of the parent trace does not match the output of the hypothesis states of the leaves
• yield a valid replacement for the temporary splitter
• yield no result, if the referenced hypothesis states cannot be distinguished by means of extending the parent trace

Author:

frohme

Constructor Summary

Constructors

Constructor and Description
ExtensionResult(ADTNode<S,I,O> ext)
ExtensionResult(DefaultQuery<I,Word<O>> ce)

Method Summary

Modifier and Type	Method and Description
static <S,I,O> ExtensionResult<S,I,O>	empty() Utility method, returning the (singleton) object indicating, no result could be computed.
DefaultQuery<I,Word<O>>	getCounterExample() Return the found counterexample.
ADTNode<S,I,O>	getReplacement() Return the proposed replacement.
boolean	isCounterExample() Utility method, indicating the search for an extension has revealed a counterexample.
boolean	isReplacement() Utility method, indicating if the search for an extending replacement was a success.

Methods inherited from class java.lang.Object

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

Constructor Detail

ExtensionResult

public ExtensionResult(ADTNode<S,I,O> ext)

ExtensionResult

public ExtensionResult(DefaultQuery<I,Word<O>> ce)

Method Detail

empty

public static <S,I,O> ExtensionResult<S,I,O> empty()

Utility method, returning the (singleton) object indicating, no result could be computed.

Type Parameters:

S - (hypothesis) state type

I - input alphabet type

O - output alphabet type

Returns:

the empty result

isCounterExample

public boolean isCounterExample()

Utility method, indicating the search for an extension has revealed a counterexample.

Returns:

true if a counter example was found, false otherwise

getCounterExample

public DefaultQuery<I,Word<O>> getCounterExample()

Return the found counterexample.

Returns:

the counterexample

isReplacement

public boolean isReplacement()

Utility method, indicating if the search for an extending replacement was a success.

Returns:

true if a replacement was found, false otherwise

getReplacement

public ADTNode<S,I,O> getReplacement()

Return the proposed replacement.

Returns:

the replacement