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