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>>
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
STATE_PROPERTIES, TRANSITION_PROPERTIES
accepts, computeOutput, computeStateOutput, computeSuffixOutput, isAccepting
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty, isAccepting
powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getSuccessors
forEach, spliterator
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
getTransitionProperty
addInitialState, addInitialState, addInitialState, addState, addState, addState, copyTransition, createTransition, flipAcceptance, setAccepting, setStateProperty, setTransitionProperty
addTransition, addTransitions, clear, removeAllTransitions
Copyright © 2019. All rights reserved.