I
- input symbol classpublic abstract class AbstractIncrementalDFABuilder<I> extends Object implements IncrementalDFABuilder<I>
IncrementalDFABuilder
s. This class takes care of
holding the input alphabet and its size.Modifier and Type | Class and Description |
---|---|
protected static class |
AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E> |
protected static class |
AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T> |
IncrementalDFABuilder.GraphView<I,N,E>, IncrementalDFABuilder.TransitionSystemView<S,I,T>
Modifier and Type | Field and Description |
---|---|
protected int |
alphabetSize |
protected Alphabet<I> |
inputAlphabet |
Constructor and Description |
---|
AbstractIncrementalDFABuilder(Alphabet<I> inputAlphabet)
Constructor.
|
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.
|
void |
insert(Word<? extends I> word)
Inserts a new word into the automaton.
|
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<DFA<?,I>,I>
public boolean hasDefinitiveInformation(Word<? extends I> word)
IncrementalConstruction
hasDefinitiveInformation
in interface IncrementalConstruction<DFA<?,I>,I>
word
- the wordpublic void insert(Word<? extends I> word) throws ConflictException
IncrementalDFABuilder
insert(word, true)
.insert
in interface IncrementalDFABuilder<I>
word
- the word to insertConflictException
- if the newly provided information conflicts with existing
informationIncrementalDFABuilder.insert(Word, boolean)
Copyright © 2015. All rights reserved.