I
- input symbol typepublic interface IncrementalDFABuilder<I> extends IncrementalConstruction<DFA<?,I>,I>, SupportsGrowingAlphabet<I>
Modifier and Type | Interface and Description |
---|---|
static interface |
IncrementalDFABuilder.GraphView<I,N,E> |
static interface |
IncrementalDFABuilder.TransitionSystemView<S,I,T> |
Modifier and Type | Method and Description |
---|---|
IncrementalDFABuilder.GraphView<I,?,?> |
asGraph()
Retrieves a graph view of the current state of the construction.
|
IncrementalDFABuilder.TransitionSystemView<?,I,?> |
asTransitionSystem()
Retrieves a transition system view of the current state of the construction.
|
void |
insert(Word<? extends I> word)
Inserts a new word into the automaton.
|
void |
insert(Word<? extends I> word,
boolean accepting)
Inserts a new word into the automaton, with a given acceptance value.
|
Acceptance |
lookup(Word<? extends I> inputWord)
Looks up the tri-state acceptance value for a given word.
|
findSeparatingWord, hasDefinitiveInformation
addAlphabetSymbol
Acceptance lookup(Word<? extends I> inputWord)
inputWord
- the wordvoid insert(Word<? extends I> word, boolean accepting)
word
- the word to insertaccepting
- whether or not this word should be marked as acceptingConflictException
- if the newly provided information conflicts with existing informationvoid insert(Word<? extends I> word)
insert(word,
true)
.word
- the word to insertConflictException
- if the newly provided information conflicts with existing informationinsert(Word, boolean)
IncrementalDFABuilder.GraphView<I,?,?> asGraph()
IncrementalConstruction
asGraph
in interface IncrementalConstruction<DFA<?,I>,I>
IncrementalDFABuilder.TransitionSystemView<?,I,?> asTransitionSystem()
IncrementalConstruction
asTransitionSystem
in interface IncrementalConstruction<DFA<?,I>,I>
Copyright © 2020. All rights reserved.