public interface SODetOutputAutomaton<S,I,T,D> extends DetOutputAutomaton<S,I,T,D>, SuffixOutput<I,D>
computeOutput
transitionGraphView
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
computeOutput, computeSuffixOutput
Copyright © 2015. All rights reserved.