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(@Nullable Boolean accepting) |
boolean |
isAccepting(FastDFAState state)
Checks whether the given state is accepting.
|
void |
setAccepting(FastDFAState state,
boolean accepting) |
clear, getInitialState, getLocalInputs, getTransition, powersetView, removeState, setInitialState, setTransition
addAlphabetSymbol, addState, createDynamicStateMapping, getInputAlphabet, getState, getStateId, getStates, removeAllTransitions, 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
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
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(@Nullable Boolean accepting)
createState
in class AbstractFastMutable<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 © 2020. All rights reserved.