I
- input symbol classpublic class IncrementalPCDFATreeBuilder<I> extends IncrementalDFATreeBuilder<I>
IncrementalDFATreeBuilder
. Contrary to the regular lookup semantics, where an
exact response to a lookup can only be given, if the exact word has been observed before, the prefix-closed semantics
behave as follows:
Acceptance.TRUE
response as well.Acceptance.FALSE
response as
well.Modifier and Type | Class and Description |
---|---|
class |
IncrementalPCDFATreeBuilder.TransitionSystemView |
IncrementalDFATreeBuilder.GraphView, IncrementalDFATreeBuilder.Record<S,I>
AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E>, AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T>
root
alphabetSize, inputAlphabet
Constructor and Description |
---|
IncrementalPCDFATreeBuilder(Alphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
IncrementalPCDFATreeBuilder.TransitionSystemView |
asTransitionSystem()
Retrieves a transition system view of the current state of the construction.
|
protected <S> Word<I> |
doFindSeparatingWord(DFA<S,I> target,
Collection<? extends I> inputs,
boolean omitUndefined) |
Node<I> |
getSink() |
void |
insert(Word<? extends I> word,
boolean acceptance)
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.
|
addAlphabetSymbol, asGraph, findSeparatingWord
getInputAlphabet, hasDefinitiveInformation, insert
protected <S> Word<I> doFindSeparatingWord(DFA<S,I> target, Collection<? extends I> inputs, boolean omitUndefined)
doFindSeparatingWord
in class IncrementalDFATreeBuilder<I>
public Acceptance lookup(Word<? extends I> inputWord)
IncrementalDFABuilder
lookup
in interface IncrementalDFABuilder<I>
lookup
in class IncrementalDFATreeBuilder<I>
inputWord
- the wordpublic void insert(Word<? extends I> word, boolean acceptance) throws ConflictException
IncrementalDFABuilder
insert
in interface IncrementalDFABuilder<I>
insert
in class IncrementalDFATreeBuilder<I>
word
- the word to insertacceptance
- whether or not this word should be marked as acceptingConflictException
- if the newly provided information conflicts with existing informationpublic IncrementalPCDFATreeBuilder.TransitionSystemView asTransitionSystem()
IncrementalConstruction
asTransitionSystem
in interface IncrementalDFABuilder<I>
asTransitionSystem
in interface IncrementalConstruction<DFA<?,I>,I>
asTransitionSystem
in class IncrementalDFATreeBuilder<I>
Copyright © 2019. All rights reserved.