I
- input symbol type@ParametersAreNonnullByDefault public interface IncrementalDFABuilder<I> extends IncrementalConstruction<DFA<?,I>,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, getInputAlphabet, hasDefinitiveInformation
@Nonnull Acceptance lookup(Word<? extends I> inputWord)
inputWord
- the wordvoid insert(Word<? extends I> word, boolean accepting) throws ConflictException
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) throws ConflictException
insert(word,
true)
.word
- the word to insertConflictException
- if the newly provided information conflicts with existing informationinsert(Word, boolean)
@Nonnull IncrementalDFABuilder.GraphView<I,?,?> asGraph()
IncrementalConstruction
asGraph
in interface IncrementalConstruction<DFA<?,I>,I>
@Nonnull IncrementalDFABuilder.TransitionSystemView<?,I,?> asTransitionSystem()
IncrementalConstruction
asTransitionSystem
in interface IncrementalConstruction<DFA<?,I>,I>
Copyright © 2018. All rights reserved.