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
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
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 © 2020. All rights reserved.