ExtensionResult (LearnLib 0.17.0 API)

java.lang.Object
- de.learnlib.algorithm.adt.model.ExtensionResult<S,I,O>

Type Parameters:

S - (hypothesis) state type

I - input alphabet type

O - output alphabet type
```
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

Constructor Summary

Constructors
Constructor Description

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

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

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static <S,I,O> ExtensionResult<S,I,O>`	`empty()`	Utility method, returning the (singleton) object indicating, no result could be computed.
`@Nullable DefaultQuery<I,Word<O>>`	`getCounterExample()`	Return the found counterexample.
`@Nullable 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 @Nullable 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 @Nullable ADTNode<S,I,O> getReplacement()
```
    Return the proposed replacement.
    
    Returns:
    
    the replacement