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(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
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessors, getTransitions, powersetView
createDynamicStateMapping, 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(Boolean property)
createState
in class AbstractFastMutable<FastNFAState,I,FastNFAState,Boolean,Void>
Copyright © 2019. All rights reserved.