S
- state classI
- input symbol classT
- transition classD
- output domain classpublic interface DetOutputAutomaton<S,I,T,D> extends OutputAutomaton<S,I,T,D>, DeterministicAutomaton<S,I,T>
DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>
computeOutput
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
transitionGraphView
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
Copyright © 2019. All rights reserved.