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