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