I
- input symbol classpublic class IncrementalPCDFADAGBuilder<I> extends AbstractIncrementalDFADAGBuilder<I>
IncrementalDFADAGBuilder
. 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.AbstractIncrementalDFADAGBuilder.GraphView, AbstractIncrementalDFADAGBuilder.TransitionSystemView
AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E>, AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T>
init, register, sink
alphabetSize, inputAlphabet
Constructor and Description |
---|
IncrementalPCDFADAGBuilder(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.incremental.dfa.dag.State |
getState(Word<? extends I> word) |
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> word)
Looks up the tri-state acceptance value for a given word.
|
addAlphabetSymbol, asGraph, asTransitionSystem, clone, clone, clone, findSeparatingWord, hiddenClone, hide, replaceOrRegister, replaceOrRegister, unhide, unhide, updateInitSignature, updateInitSignature, updateInitSignature, updateSignature, updateSignature, updateSignature
getInputAlphabet, hasDefinitiveInformation, insert
public Acceptance lookup(Word<? extends I> word)
IncrementalDFABuilder
word
- the wordprotected net.automatalib.incremental.dfa.dag.State getState(Word<? extends I> word)
getState
in class AbstractIncrementalDFADAGBuilder<I>
public void insert(Word<? extends I> word, boolean accepting)
IncrementalDFABuilder
word
- the word to insertaccepting
- whether or not this word should be marked as acceptingCopyright © 2020. All rights reserved.