Interface MooreMachine<S,I,T,O>
-
- All Superinterfaces:
Automaton<S,I,T>
,DeterministicAutomaton<S,I,T>
,DeterministicOutputTS<S,I,T,O>
,DeterministicStateOutputTS<S,I,T,O>
,DeterministicTransitionSystem<S,I,T>
,DetOutputAutomaton<S,I,T,Word<O>>
,DetSuffixOutputAutomaton<S,I,T,Word<O>>
,FiniteRepresentation
,Iterable<S>
,MooreTransitionSystem<S,I,T,O>
,Output<I,Word<O>>
,OutputAutomaton<S,I,T,Word<O>>
,SimpleAutomaton<S,I>
,SimpleDeterministicAutomaton<S,I>
,SimpleDTS<S,I>
,SimpleTS<S,I>
,StateOutput<S,O>
,StateOutputAutomaton<S,I,T,O>
,SuffixOutput<I,Word<O>>
,TransitionSystem<S,I,T>
,UniversalAutomaton<S,I,T,O,Void>
,UniversalDeterministicAutomaton<S,I,T,O,Void>
,UniversalDTS<S,I,T,O,Void>
,UniversalTransitionSystem<S,I,T,O,Void>
- All Known Subinterfaces:
MutableMooreMachine<S,I,T,O>
- All Known Implementing Classes:
CompactMoore
,FastMoore
public interface MooreMachine<S,I,T,O> extends UniversalDeterministicAutomaton<S,I,T,O,Void>, StateOutputAutomaton<S,I,T,O>, MooreTransitionSystem<S,I,T,O>
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static class
MooreMachine.MooreGraphView<S,I,T,O,A extends MooreMachine<S,I,T,O>>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton
DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default UniversalGraph<S,TransitionEdge<I,T>,O,TransitionEdge.Property<I,Void>>
transitionGraphView(Collection<? extends I> inputs)
Obtains agraph
view of the transition graph of this automaton, taking into account the specified input symbols.-
Methods inherited from interface net.automatalib.ts.output.DeterministicOutputTS
trace
-
Methods inherited from interface net.automatalib.ts.output.DeterministicStateOutputTS
trace
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
computeOutput, computeSuffixOutput
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.ts.output.MooreTransitionSystem
getStateProperty, getTransitionProperty, getTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
getSuccessors
-
Methods inherited from interface net.automatalib.automaton.concept.StateOutput
getStateOutput
-
Methods inherited from interface net.automatalib.automaton.transducer.StateOutputAutomaton
computeStateOutput
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor, powersetView
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
-
-
-
-
Method Detail
-
transitionGraphView
default UniversalGraph<S,TransitionEdge<I,T>,O,TransitionEdge.Property<I,Void>> transitionGraphView(Collection<? extends I> inputs)
Description copied from interface:Automaton
Obtains agraph
view of the transition graph of this automaton, taking into account the specified input symbols. The transitions are represented asTransitionEdge
s in the graph.- Specified by:
transitionGraphView
in interfaceAutomaton<S,I,T>
- Specified by:
transitionGraphView
in interfaceUniversalAutomaton<S,I,T,O,Void>
- Parameters:
inputs
- the input symbols to consider- Returns:
- a graph view of the transition graph of this automaton for the given input symbols
-
-