public interface MutableDFA<S,I> extends DFA<S,I>, MutableDeterministic<S,I,S,Boolean,Void>, MutableFSA<S,I>
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.