public class IncrementalPCDFADAGBuilder<I> extends AbstractIncrementalDFADAGBuilder<I>
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.
|
asGraph, asTransitionSystem, clone, clone, clone, findSeparatingWord, hiddenClone, hide, replaceOrRegister, replaceOrRegister, unhide, unhide, updateInitSignature, updateInitSignature, updateInitSignature, updateSignature, updateSignature, updateSignature
getInputAlphabet, hasDefinitiveInformation, insert
protected net.automatalib.incremental.dfa.dag.State getState(Word<? extends I> word)
getState
in class AbstractIncrementalDFADAGBuilder<I>
public Acceptance lookup(Word<? extends I> word)
IncrementalDFABuilder
word
- the wordpublic void insert(Word<? extends I> word, boolean accepting)
IncrementalDFABuilder
word
- the word to insertaccepting
- whether or not this word should be marked as acceptingCopyright © 2015. All rights reserved.