public final class FastDFA<I> extends FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void> implements MutableDFA<FastDFAState,I>
inputAlphabetSTATE_PROPERTIES, TRANSITION_PROPERTIESaddState, clear, createDynamicStateMapping, createStaticStateMapping, getEdgeProperty, getInitialState, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStates, getTarget, getTransition, nodeIDs, removeAllTransitions, removeState, setInitialState, setTransition, stateIDsremoveStateaddInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitionsiterator, sizegetInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitionscreateDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetStates, size, stateIDsgetTransitiongetTransitions, powersetViewgetInitialState, getState, getSuccessor, getSuccessorcreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorssetInitialState, setTransition, setTransitionaddInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitionspublic FastDFAState getSuccessor(FastDFAState transition)
getSuccessor in interface TransitionSystem<FastDFAState,I,FastDFAState>public <V> MutableMapping<FastDFAState,V> createStaticNodeMapping()
createStaticNodeMapping in interface IndefiniteGraph<FastDFAState,TransitionEdge<I,FastDFAState>>createStaticNodeMapping in class FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>public <V> MutableMapping<FastDFAState,V> createDynamicNodeMapping()
createDynamicNodeMapping in interface IndefiniteGraph<FastDFAState,TransitionEdge<I,FastDFAState>>createDynamicNodeMapping in class FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>public Boolean getStateProperty(FastDFAState state)
getStateProperty in interface UniversalTransitionSystem<FastDFAState,I,FastDFAState,Boolean,Void>public Void getTransitionProperty(FastDFAState transition)
getTransitionProperty in interface UniversalTransitionSystem<FastDFAState,I,FastDFAState,Boolean,Void>public void setStateProperty(FastDFAState state, Boolean property)
setStateProperty in interface MutableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>public void setTransitionProperty(FastDFAState transition, Void property)
setTransitionProperty in interface MutableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>public FastDFAState createTransition(FastDFAState successor, Void properties)
createTransition in interface MutableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>public FastDFAState copyTransition(FastDFAState trans, FastDFAState succ)
copyTransition in interface MutableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>protected FastDFAState createState(Boolean property)
createState in class FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>protected FastDFAState createState(boolean accepting)
public boolean isAccepting(FastDFAState state)
isAccepting in interface AcceptorTS<FastDFAState,I>public boolean accepts(Iterable<I> input)
accepts in interface AcceptorTS<FastDFAState,I>public Boolean computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
computeSuffixOutput in interface SuffixOutput<I,Boolean>public Boolean computeOutput(Iterable<I> input)
computeOutput in interface Output<I,Boolean>public FastDFAState addState(boolean accepting)
addState in interface MutableFSA<FastDFAState,I>public FastDFAState addInitialState(boolean accepting)
addInitialState in interface MutableFSA<FastDFAState,I>public void setAccepting(FastDFAState state, boolean accepting)
setAccepting in interface MutableFSA<FastDFAState,I>public void flipAcceptance()
flipAcceptance in interface MutableFSA<FastDFAState,I>Copyright © 2013. All Rights Reserved.