public interface MealyTransitionSystem<S,I,T,O> extends DeterministicTransitionOutputTS<S,I,T,O>, UniversalDTS<S,I,T,Void,O>
getOutput, trace, trace
getTransitionOutput
getStateProperty, getTransitionProperty
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
Copyright © 2015. All rights reserved.