public class IncrementalPCDFABuilder<I> extends AbstractIncrementalDFABuilder<I>
alphabetSize, init, inputAlphabet, register, sink
Constructor and Description |
---|
IncrementalPCDFABuilder(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.incremental.dfa.State |
getState(Word<I> word) |
void |
insert(Word<I> word,
boolean accepting) |
Acceptance |
lookup(Word<I> word) |
clone, clone, clone, createDynamicNodeMapping, createStaticNodeMapping, findSeparatingWord, getEdgeProperty, getGraphDOTHelper, getInitialState, getInputAlphabet, getNodeProperty, getNodes, getOutgoingEdges, getStates, getSuccessor, getTarget, getTransition, hasDefinitiveInformation, insert, nodeIDs, replaceOrRegister, replaceOrRegister, size, toAutomaton, 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 IncrementalPCDFABuilder(Alphabet<I> inputAlphabet)
protected net.automatalib.incremental.dfa.State getState(Word<I> word)
getState
in class AbstractIncrementalDFABuilder<I>
public Acceptance lookup(Word<I> word)
lookup
in class AbstractIncrementalDFABuilder<I>
Copyright © 2015. All Rights Reserved.