public interface MutableDFA<S,I> extends DFA<S,I>, MutableDeterministic<S,I,S,Boolean,Void>, MutableFSA<S,I>
STATE_PROPERTIES, TRANSITION_PROPERTIES
computeOutput
getStates, size, stateIDs
forEach, iterator, spliterator
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
setInitialState, setTransition, setTransition
addInitialState, addState, flipAcceptance, setAccepting
accepts, isAccepting
computeSuffixOutput
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitionProperty, setTransitions
getStateProperty, getTransitionProperty
Copyright © 2015. All Rights Reserved.