public interface OutputAutomaton<S,I,T,D> extends Automaton<S,I,T>, Output<I,D>
transitionGraphView
getSuccessor, getSuccessors, getTransitions, powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
forEach, spliterator
computeOutput
Copyright © 2015. All rights reserved.