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
S addInitialState(boolean accepting)
void setAccepting(S state, boolean accepting)
void flipAcceptance()
Copyright © 2015. All Rights Reserved.