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
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
Copyright © 2020. All rights reserved.