public interface IncrementalMealyBuilder<I,O> extends IncrementalConstruction<MealyMachine<?,I,?,O>,I>, SupportsGrowingAlphabet<I>
Modifier and Type | Interface and Description |
---|---|
static interface |
IncrementalMealyBuilder.GraphView<I,O,N,E> |
Modifier and Type | Method and Description |
---|---|
IncrementalMealyBuilder.GraphView<I,O,?,?> |
asGraph()
Retrieves a graph view of the current state of the construction.
|
MealyTransitionSystem<?,I,?,O> |
asTransitionSystem()
Retrieves a transition system view of the current state of the construction.
|
void |
insert(Word<? extends I> inputWord,
Word<? extends O> outputWord)
Incorporates a pair of input/output words into the stored information.
|
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.
|
findSeparatingWord, hasDefinitiveInformation
addAlphabetSymbol
boolean lookup(Word<? extends I> inputWord, List<? super O> output)
inputWord
- the input wordoutput
- a consumer for constructing the output wordtrue
if the information contained was complete (in this case, word.length() ==
output.size()
will hold), false
otherwise.void insert(Word<? extends I> inputWord, Word<? extends O> outputWord)
inputWord
- the input wordoutputWord
- the corresponding output wordConflictException
- if this information conflicts with information already storedIncrementalMealyBuilder.GraphView<I,O,?,?> asGraph()
IncrementalConstruction
asGraph
in interface IncrementalConstruction<MealyMachine<?,I,?,O>,I>
MealyTransitionSystem<?,I,?,O> asTransitionSystem()
IncrementalConstruction
asTransitionSystem
in interface IncrementalConstruction<MealyMachine<?,I,?,O>,I>
Copyright © 2020. All rights reserved.