S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet type@ParametersAreNonnullByDefault public class ExtensionResult<S,I,O> extends Object
ADTExtender
can return. Extending a parent trace can either Constructor and Description |
---|
ExtensionResult(ADTNode<S,I,O> ext) |
ExtensionResult(DefaultQuery<I,net.automatalib.words.Word<O>> ce) |
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,net.automatalib.words.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.
|
public ExtensionResult(DefaultQuery<I,net.automatalib.words.Word<O>> ce)
public static <S,I,O> ExtensionResult<S,I,O> empty()
S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet typepublic boolean isCounterExample()
true
if a counter example was found, false
otherwisepublic DefaultQuery<I,net.automatalib.words.Word<O>> getCounterExample()
public boolean isReplacement()
true
if a replacement was found, false
otherwiseCopyright © 2018. All rights reserved.