I
- the input typeO
- the output typepublic class MealyLassoImpl<I,O> extends AbstractLasso<I,Word<O>> implements Lasso.MealyLasso<I,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>
NO_LASSO
Constructor and Description |
---|
MealyLassoImpl(DetOutputAutomaton<?,I,?,Word<O>> automaton,
Collection<? extends I> inputs,
int unfoldTimes) |
Modifier and Type | Method and Description |
---|---|
Word<O> |
computeOutput(Iterable<? extends I> input) |
Integer |
getSuccessor(Integer transition)
Retrieves the successor state of a given transition.
|
O |
getTransitionOutput(Integer transition) |
getAutomaton, getInitialState, getInputAlphabet, getLoop, getLoopBeginIndices, getOutput, getPrefix, getStates, getSuccessor, getTransition, getUnfolds, getWord
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAutomaton, getLoop, getLoopBeginIndices, getOutput, getPrefix, getUnfolds, getWord
getInputAlphabet
transitionGraphView
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
computeStateOutput
computeSuffixOutput
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
getStateProperty, getTransitionProperty
getOutput, trace
trace
getTransitionProperty
public MealyLassoImpl(DetOutputAutomaton<?,I,?,Word<O>> automaton, Collection<? extends I> inputs, int unfoldTimes)
@Nullable public O getTransitionOutput(Integer transition)
getTransitionOutput
in interface TransitionOutput<Integer,O>
@Nonnull public Integer getSuccessor(Integer transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<Integer,I,Integer>
transition
- the transition.public Word<O> computeOutput(Iterable<? extends I> input)
computeOutput
in interface DetSuffixOutputAutomaton<Integer,I,Integer,Word<O>>
computeOutput
in interface Output<I,Word<O>>
computeOutput
in interface SuffixOutput<I,Word<O>>
Copyright © 2019. All rights reserved.