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
isAccepting
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
addTransition, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions
addInitialState, addInitialState, addInitialState, addState, addState, copyTransition, createTransition, flipAcceptance, setStateProperty, setTransitionProperty
computeOutput, computeSuffixOutput, transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty
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.