Class FastMoore<I,O>
- java.lang.Object
-
- net.automatalib.automaton.base.AbstractFastMutable<S,I,T,SP,TP>
-
- net.automatalib.automaton.base.AbstractFastMutableDet<FastMooreState<O>,I,FastMooreState<O>,O,Void>
-
- net.automatalib.automaton.transducer.FastMoore<I,O>
-
- Type Parameters:
I
- input symbol class.O
- output symbol class.
- All Implemented Interfaces:
Iterable<FastMooreState<O>>
,SupportsGrowingAlphabet<I>
,Automaton<FastMooreState<O>,I,FastMooreState<O>>
,DetOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,Word<O>>
,DetSuffixOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,Word<O>>
,FiniteRepresentation
,InputAlphabetHolder<I>
,MutableStateOutput<FastMooreState<O>,O>
,Output<I,Word<O>>
,OutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,Word<O>>
,StateIDs<FastMooreState<O>>
,StateLocalInput<FastMooreState<O>,I>
,StateOutput<FastMooreState<O>,O>
,SuffixOutput<I,Word<O>>
,DeterministicAutomaton<FastMooreState<O>,I,FastMooreState<O>>
,FiniteAlphabetAutomaton<FastMooreState<O>,I,FastMooreState<O>>
,MutableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>
,MutableDeterministic<FastMooreState<O>,I,FastMooreState<O>,O,Void>
,ShrinkableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>
,ShrinkableDeterministic<FastMooreState<O>,I,FastMooreState<O>,O,Void>
,SimpleAutomaton<FastMooreState<O>,I>
,SimpleDeterministicAutomaton<FastMooreState<O>,I>
,MooreMachine<FastMooreState<O>,I,FastMooreState<O>,O>
,MutableMooreMachine<FastMooreState<O>,I,FastMooreState<O>,O>
,StateOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,O>
,UniversalAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>
,UniversalDeterministicAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>
,UniversalFiniteAlphabetAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>
,GraphViewable
,DeterministicTransitionSystem<FastMooreState<O>,I,FastMooreState<O>>
,DeterministicOutputTS<FastMooreState<O>,I,FastMooreState<O>,O>
,DeterministicStateOutputTS<FastMooreState<O>,I,FastMooreState<O>,O>
,MooreTransitionSystem<FastMooreState<O>,I,FastMooreState<O>,O>
,SimpleDTS<FastMooreState<O>,I>
,SimpleTS<FastMooreState<O>,I>
,TransitionSystem<FastMooreState<O>,I,FastMooreState<O>>
,UniversalDTS<FastMooreState<O>,I,FastMooreState<O>,O,Void>
,UniversalTransitionSystem<FastMooreState<O>,I,FastMooreState<O>,O,Void>
public class FastMoore<I,@Nullable O> extends AbstractFastMutableDet<FastMooreState<O>,I,FastMooreState<O>,O,Void> implements MutableMooreMachine<FastMooreState<O>,I,FastMooreState<O>,O>
A fast implementation of a Moore automaton.
-
-
Nested Class Summary
-
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.transducer.MooreMachine
MooreMachine.MooreGraphView<S,I,T,O,A extends MooreMachine<S,I,T,O>>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableDeterministic
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
-
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>
-
-
Field Summary
-
Fields inherited from class net.automatalib.automaton.base.AbstractFastMutable
inputAlphabet
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected FastMooreState<O>
createState(@Nullable O property)
FastMooreState<O>
createTransition(FastMooreState<@Nullable O> successor, Void properties)
O
getStateOutput(FastMooreState<@Nullable O> state)
FastMooreState<O>
getSuccessor(FastMooreState<@Nullable O> transition)
Retrieves the successor state of a given transition.void
setStateOutput(FastMooreState<@Nullable O> state, @Nullable O output)
-
Methods inherited from class net.automatalib.automaton.base.AbstractFastMutableDet
clear, getInitialState, getLocalInputs, getTransition, powersetView, removeState, setInitialState, setTransition
-
Methods inherited from class net.automatalib.automaton.base.AbstractFastMutable
addAlphabetSymbol, addState, createDynamicStateMapping, getInputAlphabet, getState, getStateId, getStates, removeAllTransitions, stateIDs
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
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 net.automatalib.automaton.FiniteAlphabetAutomaton
getTransitions, graphView
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.automaton.transducer.MooreMachine
transitionGraphView
-
Methods inherited from interface net.automatalib.ts.output.MooreTransitionSystem
getStateProperty, getTransitionProperty, getTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.MutableAutomaton
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, removeAllTransitions
-
Methods inherited from interface net.automatalib.automaton.MutableDeterministic
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
-
Methods inherited from interface net.automatalib.automaton.transducer.MutableMooreMachine
setStateProperty, setTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.ShrinkableAutomaton
removeState
-
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.transducer.StateOutputAutomaton
computeStateOutput
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton
transitionGraphView
-
-
-
-
Method Detail
-
getSuccessor
public FastMooreState<O> getSuccessor(FastMooreState<@Nullable O> transition)
Description copied from interface:TransitionSystem
Retrieves the successor state of a given transition.- Specified by:
getSuccessor
in interfaceTransitionSystem<FastMooreState<O>,I,FastMooreState<O>>
- Parameters:
transition
- the transition.- Returns:
- the successor state.
-
getStateOutput
public O getStateOutput(FastMooreState<@Nullable O> state)
- Specified by:
getStateOutput
in interfaceStateOutput<I,O>
-
createTransition
public FastMooreState<O> createTransition(FastMooreState<@Nullable O> successor, Void properties)
- Specified by:
createTransition
in interfaceMutableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>
-
setStateOutput
public void setStateOutput(FastMooreState<@Nullable O> state, @Nullable O output)
- Specified by:
setStateOutput
in interfaceMutableStateOutput<I,O>
-
createState
protected FastMooreState<O> createState(@Nullable O property)
- Specified by:
createState
in classAbstractFastMutable<FastMooreState<O>,I,FastMooreState<O>,O,Void>
-
-