Package net.automatalib.incremental.mealy

Interface AdaptiveMealyBuilder<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Superinterfaces:

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

All Known Implementing Classes:

AdaptiveMealyTreeBuilder

public interface AdaptiveMealyBuilder<I,O>
extends MealyBuilder<I,O>

A variation of the IncrementalMealyBuilder interface that allows one to override previously inserted traces.

Method Summary

Modifier and Type	Method	Description
@Nullable Word<I>	getOldestInput()	Returns the oldest, non-overridden input that has been introduced and persisted.
boolean	insert(Word<? extends I> inputWord, Word<? extends O> outputWord)	Incorporates a pair of input/output words into the stored information.

Methods inherited from interface net.automatalib.incremental.IncrementalConstruction

asGraph, findSeparatingWord

Methods inherited from interface net.automatalib.incremental.mealy.MealyBuilder

asTransitionSystem, hasDefinitiveInformation, lookup, lookup

Methods inherited from interface net.automatalib.alphabet.SupportsGrowingAlphabet

addAlphabetSymbol

Method Detail

insert

boolean insert(Word<? extends I> inputWord,
               Word<? extends O> outputWord)

Incorporates a pair of input/output words into the stored information.

Parameters:

inputWord - the input word

outputWord - the corresponding output word

Returns:

true if the inserted output word has overridden existing information, false otherwise.

getOldestInput

@Nullable Word<I> getOldestInput()

Returns the oldest, non-overridden input that has been introduced and persisted.

Returns:

the Word representing the oldest stored input, null if the cache is empty.