public class FastNFA<I> extends FastMutableNondet<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 |
addInitialState(boolean accepting) |
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) |
addState, clear, createDynamicStateMapping, createStaticStateMapping, getInitialStates, getInputAlphabet, getState, getStateId, getStates, getTransitions, removeAllTransitions, removeState, setInitial, setTransitions, stateIDs
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAccepting
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>
protected FastNFAState createState(Boolean property)
createState
in class FastMutableNondet<FastNFAState,I,FastNFAState,Boolean,Void>
public FastNFAState addState(boolean accepting)
addState
in interface MutableFSA<FastNFAState,I>
public FastNFAState addInitialState(boolean accepting)
addInitialState
in interface MutableFSA<FastNFAState,I>
Copyright © 2015. All rights reserved.