public interface MooreMachine<S,I,T,O> extends UniversalDeterministicAutomaton<S,I,T,O,Void>, StateOutput<S,O>, TransitionOutputAutomaton<S,I,T,O>
getStateProperty, getTransitionProperty
getStateOutput
computeOutput
getStates, size, stateIDs
forEach, iterator, spliterator
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
computeSuffixOutput
getOutput, trace, trace
getTransitionOutput
Copyright © 2015. All rights reserved.