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>
computeOutput
getStates, size, stateIDs
forEach, iterator, spliterator
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
Copyright © 2015. All rights reserved.