Module net.automatalib.api
Interface MealyMachine<S,I,T,O>
- All Superinterfaces:
Automaton<S,,I, T> Automaton.RegularAutomaton<S,,I, T> DeterministicAutomaton<S,,I, T> DeterministicAutomaton.RegularAutomaton<S,,I, T> DeterministicFiniteSemantics,DeterministicOutputAutomaton<S,,I, T, Word<O>> DeterministicOutputTS<S,,I, T, Word<O>> DeterministicSemantics,DeterministicSuffixOutputAutomaton<S,,I, T, Word<O>> DeterministicSuffixOutputTS<S,,I, T, Word<O>> DeterministicTraceableTS<S,,I, T, O> DeterministicTransitionOutputTS<S,,I, T, O> DeterministicTransitionSystem<S,,I, T> FiniteRepresentation,FiniteSemantics,InitialState<S>,InitialStates<S>,Iterable<S>,MealyTransitionSystem<S,,I, T, O> Output<I,,Word<O>> OutputAutomaton<S,,I, T, Word<O>> OutputTS<S,,I, T, Word<O>> Semantics,SimpleAutomaton<S,,I> SimpleDeterministicAutomaton<S,,I> SimpleDTS<S,,I> SimpleTS<S,,I> SuffixOutput<I,,Word<O>> TransitionOutput<T,,O> TransitionOutputAutomaton<S,,I, T, O> TransitionSystem<S,,I, T> UniversalAutomaton<S,,I, T, Void, O> UniversalAutomaton.RegularAutomaton<S,,I, T, Void, O> UniversalDeterministicAutomaton<S,,I, T, Void, O> UniversalDeterministicAutomaton.RegularAutomaton<S,,I, T, Void, O> UniversalDTS<S,,I, T, Void, O> UniversalTransitionSystem<S,I, T, Void, O>
- All Known Subinterfaces:
Lasso.MealyLasso<I,,O> MutableMealyMachine<S,,I, T, O> StateLocalInputMealyMachine<S,I, T, O>
- All Known Implementing Classes:
CompactMealy,FastMealy,MealyLassoImpl,ReducedMMLTSemantics
public interface MealyMachine<S,I,T,O>
extends UniversalDeterministicAutomaton.RegularAutomaton<S,I,T,Void,O>, TransitionOutputAutomaton<S,I,T,O>, MealyTransitionSystem<S,I,T,O>
-
Nested Class Summary
Nested ClassesModifier and TypeInterfaceDescriptionstatic classNested classes/interfaces inherited from interface net.automatalib.automaton.Automaton
Automaton.RegularAutomaton<S,I, T> Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton
DeterministicAutomaton.RegularAutomaton<S,I, T> Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalAutomaton
UniversalAutomaton.RegularAutomaton<S,I, T, SP, TP> Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
UniversalDeterministicAutomaton.RegularAutomaton<S,I, T, SP, TP> -
Method Summary
Modifier and TypeMethodDescriptiondefault MealyMachine<S,I, T, O> Returns a view on the semantic transition systems induced by the implementing structure.default UniversalGraph<S,TransitionEdge<I, T>, Void, TransitionEdge.Property<I, O>> transitionGraphView(Collection<? extends I> inputs) Obtains agraphview of the transition graph of this automaton, taking into account the specified input symbols.Methods inherited from interface net.automatalib.ts.output.DeterministicTraceableTS
computeStateOutput, computeSuffixOutput, traceMethods inherited from interface net.automatalib.ts.output.DeterministicTransitionOutputTS
getOutput, traceMethods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions, powersetViewMethods inherited from interface net.automatalib.automaton.concept.InitialState
getInitialState, getInitialStatesMethods inherited from interface java.lang.Iterable
forEach, spliteratorMethods inherited from interface net.automatalib.ts.output.MealyTransitionSystem
getStateProperty, getTransitionPropertyMethods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDsMethods inherited from interface net.automatalib.ts.simple.SimpleDTS
getState, getStates, getSuccessor, getSuccessorsMethods inherited from interface net.automatalib.ts.simple.SimpleTS
getSuccessorsMethods inherited from interface net.automatalib.automaton.concept.SuffixOutput
computeOutputMethods inherited from interface net.automatalib.automaton.concept.TransitionOutput
getTransitionOutputMethods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessorMethods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
fullIntAbstraction, fullIntAbstraction, stateIntAbstractionMethods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
Method Details
-
getSemantics
Description copied from interface:SemanticsReturns a view on the semantic transition systems induced by the implementing structure.- Specified by:
getSemanticsin interfaceAutomaton.RegularAutomaton<S,I, T> - Specified by:
getSemanticsin interfaceDeterministicAutomaton.RegularAutomaton<S,I, T> - Specified by:
getSemanticsin interfaceDeterministicFiniteSemantics- Specified by:
getSemanticsin interfaceDeterministicSemantics- Specified by:
getSemanticsin interfaceFiniteSemantics- Specified by:
getSemanticsin interfaceSemantics- Specified by:
getSemanticsin interfaceUniversalAutomaton.RegularAutomaton<S,I, T, Void, O> - Specified by:
getSemanticsin interfaceUniversalDeterministicAutomaton.RegularAutomaton<S,I, T, Void, O> - Returns:
- a view on the semantic transition systems induced by the implementing structure
-
transitionGraphView
default UniversalGraph<S,TransitionEdge<I, transitionGraphViewT>, Void, TransitionEdge.Property<I, O>> (Collection<? extends I> inputs) Description copied from interface:AutomatonObtains agraphview of the transition graph of this automaton, taking into account the specified input symbols. The transitions are represented asTransitionEdges in the graph.- Specified by:
transitionGraphViewin interfaceAutomaton<S,I, T> - Specified by:
transitionGraphViewin interfaceUniversalAutomaton<S,I, T, Void, O> - Parameters:
inputs- the input symbols to consider- Returns:
- a graph view of the transition graph of this automaton for the given input symbols
-