public interface IncrementalMealyBuilder<I,O> extends IncrementalConstruction<MealyMachine<?,I,?,O>,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) |
Word<O> |
lookup(Word<? extends I> inputWord) |
boolean |
lookup(Word<? extends I> inputWord,
List<? super O> output) |
findSeparatingWord, getInputAlphabet, hasDefinitiveInformation
void insert(Word<? extends I> inputWord, Word<? extends O> outputWord) throws ConflictException
ConflictException
MealyTransitionSystem<?,I,?,O> asTransitionSystem()
IncrementalConstruction
asTransitionSystem
in interface IncrementalConstruction<MealyMachine<?,I,?,O>,I>
IncrementalMealyBuilder.GraphView<I,O,?,?> asGraph()
IncrementalConstruction
asGraph
in interface IncrementalConstruction<MealyMachine<?,I,?,O>,I>
Copyright © 2015. All rights reserved.