@ParametersAreNonnullByDefault public interface MutableFSA<S,I> extends FiniteStateAcceptor<S,I>, MutableAutomaton<S,I,S,Boolean,Void>
STATE_PROPERTIES, TRANSITION_PROPERTIES
Modifier and Type | Method and Description |
---|---|
S |
addInitialState(boolean accepting) |
S |
addState(boolean accepting) |
void |
flipAcceptance() |
void |
setAccepting(S state,
boolean accepting) |
accepts, isAccepting
computeSuffixOutput
computeOutput
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitionProperty, setTransitions
getStates, size, stateIDs
forEach, iterator, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
Copyright © 2015. All rights reserved.