public abstract class AbstractIncrementalMealyBuilder<I,O> extends Object implements IncrementalMealyBuilder<I,O>, Serializable
Modifier and Type | Class and Description |
---|---|
static class |
AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E> |
IncrementalMealyBuilder.GraphView<I,O,N,E>
Constructor and Description |
---|
AbstractIncrementalMealyBuilder() |
Modifier and Type | Method and Description |
---|---|
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
addAlphabetSymbol
public boolean hasDefinitiveInformation(Word<? extends I> word)
IncrementalConstruction
hasDefinitiveInformation
in interface IncrementalConstruction<MealyMachine<?,I,?,O>,I>
word
- the wordtrue
if this class has definitive information about the word, false
otherwise.Copyright © 2020. All rights reserved.