Package net.automatalib.incremental.mealy

Interface MealyBuilder<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Superinterfaces:

IncrementalConstruction<MealyMachine<?,I,?,O>,I>, SupportsGrowingAlphabet<I>

All Known Subinterfaces:

AdaptiveMealyBuilder<I,O>, IncrementalMealyBuilder<I,O>

All Known Implementing Classes:

AdaptiveMealyTreeBuilder, DynamicIncrementalMealyTreeBuilder, IncrementalMealyDAGBuilder, IncrementalMealyTreeBuilder

public interface MealyBuilder<I,O>
extends IncrementalConstruction<MealyMachine<?,I,?,O>,I>, SupportsGrowingAlphabet<I>

A utility interface to share functionality between IncrementalMealyBuilders and AdaptiveMealyBuilders.

Method Summary

Modifier and Type	Method	Description
MealyTransitionSystem<?,I,?,O>	asTransitionSystem()	Retrieves a transition system view of the current state of the construction.
default boolean	hasDefinitiveInformation(Word<? extends I> word)	Checks whether this class has definitive information about a given word.
default Word<O>	lookup(Word<? extends I> inputWord)
boolean	lookup(Word<? extends I> inputWord, List<? super O> output)	Retrieves the output word for the given input word.

Methods inherited from interface net.automatalib.incremental.IncrementalConstruction

asGraph, findSeparatingWord

Methods inherited from interface net.automatalib.alphabet.SupportsGrowingAlphabet

addAlphabetSymbol

Method Detail

lookup

boolean lookup(Word<? extends I> inputWord,
               List<? super O> output)

Retrieves the output word for the given input word. If no definitive information for the input word exists, the output for the longest known prefix will be returned.

Parameters:

inputWord - the input word

output - a consumer for constructing the output word

Returns:

true if the information contained was complete (in this case, word.length() == output.size() will hold), false otherwise.

lookup

default Word<O> lookup(Word<? extends I> inputWord)

hasDefinitiveInformation

default boolean hasDefinitiveInformation(Word<? extends I> word)

Description copied from interface: IncrementalConstruction

Checks whether this class has definitive information about a given word.

Specified by:

hasDefinitiveInformation in interface IncrementalConstruction<I,O>

Parameters:

word - the word

Returns:

true if this class has definitive information about the word, false otherwise.

asTransitionSystem

MealyTransitionSystem<?,I,?,O> asTransitionSystem()

Description copied from interface: IncrementalConstruction

Retrieves a transition system view of the current state of the construction. The transition system model should be backed by the construction, i.e., subsequent changes will be reflected in the transition system.

Specified by:

asTransitionSystem in interface IncrementalConstruction<I,O>

Returns:

a transition system view on the current state of the construction