public abstract class AbstractIncrementalMealyBuilder<I,O> extends Object implements IncrementalMealyBuilder<I,O>
Modifier and Type | Class and Description |
---|---|
static class |
AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E> |
IncrementalMealyBuilder.GraphView<I,O,N,E>
Modifier and Type | Field and Description |
---|---|
protected Alphabet<I> |
inputAlphabet |
Constructor and Description |
---|
AbstractIncrementalMealyBuilder(Alphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
Alphabet<I> |
getInputAlphabet()
Retrieves the input alphabet of this construction.
|
boolean |
hasDefinitiveInformation(Word<? extends I> word)
Checks whether this class has definitive information about a given word.
|
Word<O> |
lookup(Word<? extends I> inputWord) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
asGraph, asTransitionSystem, insert, lookup
findSeparatingWord
public Alphabet<I> getInputAlphabet()
IncrementalConstruction
getInputAlphabet
in interface IncrementalConstruction<MealyMachine<?,I,?,O>,I>
public boolean hasDefinitiveInformation(Word<? extends I> word)
IncrementalConstruction
hasDefinitiveInformation
in interface IncrementalConstruction<MealyMachine<?,I,?,O>,I>
word
- the wordCopyright © 2018. All rights reserved.