I
- input symbol classpublic class IncrementalDFABuilder<I> extends AbstractIncrementalDFABuilder<I>
insert(Word, boolean)
, either the set of words definitely in the target language
or definitely not in the target language is augmented. The lookup(Word)
method
then returns, for a given word, whether this word is in the set of definitely accepted
words (Acceptance.TRUE
), definitely rejected words (Acceptance.FALSE
), or
neither (Acceptance.DONT_KNOW
).alphabetSize, init, inputAlphabet, register, sink
Constructor and Description |
---|
IncrementalDFABuilder(Alphabet<I> inputAlphabet)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.incremental.dfa.State |
getState(Word<I> word)
Retrieves the state reached by a given word.
|
void |
insert(Word<I> word,
boolean accepting)
Inserts a word into either the set of accepted or rejected words.
|
Acceptance |
lookup(Word<I> word)
Checks the ternary acceptance status for a given word.
|
clone, clone, clone, createDynamicNodeMapping, createStaticNodeMapping, findSeparatingWord, getEdgeProperty, getGraphDOTHelper, getInitialState, getInputAlphabet, getNodeProperty, getNodes, getOutgoingEdges, getStates, getSuccessor, getTarget, getTransition, hasDefinitiveInformation, hiddenClone, hide, insert, nodeIDs, replaceOrRegister, replaceOrRegister, size, toAutomaton, unhide, unhide, updateInitSignature, updateInitSignature, updateInitSignature, updateSignature, updateSignature, updateSignature
iterator, stateIDs
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
forEach, iterator, spliterator
getTransitions, powersetView
getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public IncrementalDFABuilder(Alphabet<I> inputAlphabet)
inputAlphabet
- the input alphabet to usepublic Acceptance lookup(Word<I> word)
lookup
in class AbstractIncrementalDFABuilder<I>
word
- the word to checkpublic void insert(Word<I> word, boolean accepting)
insert
in class AbstractIncrementalDFABuilder<I>
word
- the word to insertaccepting
- whether to insert this word into the set of accepted or rejected words.protected net.automatalib.incremental.dfa.State getState(Word<I> word)
getState
in class AbstractIncrementalDFABuilder<I>
word
- the wordCopyright © 2015. All Rights Reserved.