public final class FastDFA<I> extends AbstractFastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void> implements MutableDFA<FastDFAState,I>
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
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) |
addAlphabetSymbol, addState, clear, createDynamicStateMapping, createStaticStateMapping, getInitialState, getInputAlphabet, getState, getStateId, getStates, getTransition, powersetView, removeAllTransitions, removeState, setInitialState, setTransition, stateIDs
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
accepts, computeOutput, computeStateOutput, computeSuffixOutput, isAccepting
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty
powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getSuccessors
forEach, spliterator
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
getTransitionProperty
addInitialState, addInitialState, addInitialState, addState, addState, copyTransition, createTransition, flipAcceptance, setStateProperty, setTransitionProperty
addTransition, addTransitions, clear, removeAllTransitions
removeState, unlinkState
transitionGraphView
graphView
protected FastDFAState createState(Boolean accepting)
createState
in class AbstractFastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>
protected FastDFAState createState(boolean accepting)
public boolean isAccepting(FastDFAState state)
AcceptorTS
isAccepting
in interface AcceptorTS<FastDFAState,I>
state
- the statetrue
if the state is accepting, false
otherwise.public void setAccepting(FastDFAState state, boolean accepting)
setAccepting
in interface MutableFSA<FastDFAState,I>
public FastDFAState addState(boolean accepting)
addState
in interface MutableFSA<FastDFAState,I>
Copyright © 2018. All rights reserved.