I
- the input typeO
- the output typepublic static interface Lasso.MealyLasso<I,O> extends Lasso<I,Word<O>>, MealyMachine<Integer,I,Integer,O>
MealyMachine
s.Lasso.DFALasso<I>, Lasso.MealyLasso<I,O>
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>
getAutomaton, getLoop, getLoopBeginIndices, getOutput, getPrefix, getUnfolds, getWord
getInputAlphabet
transitionGraphView
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
computeStateOutput
computeOutput, computeSuffixOutput
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
getStateProperty, getTransitionProperty
getOutput, trace
trace
getTransitionOutput
getTransitionProperty
Copyright © 2019. All rights reserved.