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