Interface AdaptiveMealyBuilder<I,O>
-
- Type Parameters:
I
- input symbol typeO
- 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 theIncrementalMealyBuilder
interface that allows one to override previously inserted traces.
-
-
Method Summary
All Methods Instance Methods Abstract Methods 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 wordoutputWord
- the corresponding output word- Returns:
true
if the inserted output word has overridden existing information,false
otherwise.
-
-