public interface StateLocalInputMealyMachine<S,I,T,O> extends MealyMachine<S,I,T,O>, StateLocalInput<S,I>
MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>>
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
transitionGraphView
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
computeStateOutput
computeOutput, computeSuffixOutput
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
getSuccessors
getStateProperty, getTransitionProperty
getOutput, trace
trace
getTransitionOutput
getTransitionProperty
getLocalInputs
Copyright © 2020. All rights reserved.