public final class FastDFA<I> extends FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void> implements MutableDFA<FastDFAState,I>
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
inputAlphabet
STATE_PROPERTIES, TRANSITION_PROPERTIES
Modifier and Type | Method and Description |
---|---|
FastDFAState |
addState(boolean accepting) |
protected FastDFAState |
createState(boolean accepting) |
protected FastDFAState |
createState(Boolean accepting) |
boolean |
isAccepting(FastDFAState state)
Checks whether the given state is accepting.
|
void |
setAccepting(FastDFAState state,
boolean accepting) |
addState, clear, createDynamicStateMapping, createStaticStateMapping, getInitialState, getInputAlphabet, getState, getStateId, getStates, getTransition, removeAllTransitions, removeState, setInitialState, setTransition, stateIDs
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
accepts, isAccepting
computeOutput, computeSuffixOutput, transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty
powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getSuccessors
forEach, spliterator
addTransition, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
addInitialState, addInitialState, addInitialState, addState, addState, copyTransition, createTransition, flipAcceptance, setStateProperty, setTransitionProperty
addTransition, addTransitions, clear, removeAllTransitions
removeState, unlinkState
transitionGraphView
graphView
protected FastDFAState createState(boolean accepting)
protected FastDFAState createState(Boolean accepting)
createState
in class FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>
public boolean isAccepting(FastDFAState state)
AcceptorTS
isAccepting
in interface AcceptorTS<FastDFAState,I>
state
- the statetrue
if the state is accepting, false
otherwise.public FastDFAState addState(boolean accepting)
addState
in interface MutableFSA<FastDFAState,I>
public void setAccepting(FastDFAState state, boolean accepting)
setAccepting
in interface MutableFSA<FastDFAState,I>
Copyright © 2015. All rights reserved.