Class FastMealy<I,O>
- java.lang.Object
-
- net.automatalib.automaton.base.AbstractFastMutable<S,I,T,SP,TP>
-
- net.automatalib.automaton.base.AbstractFastMutableDet<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
-
- net.automatalib.automaton.transducer.FastMealy<I,O>
-
- Type Parameters:
I
- input symbol class.O
- output symbol class.
- All Implemented Interfaces:
Iterable<FastMealyState<O>>
,SupportsGrowingAlphabet<I>
,Automaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>
,DetOutputAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Word<O>>
,DetSuffixOutputAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Word<O>>
,FiniteRepresentation
,InputAlphabetHolder<I>
,MutableTransitionOutput<MealyTransition<FastMealyState<O>,O>,O>
,Output<I,Word<O>>
,OutputAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Word<O>>
,StateIDs<FastMealyState<O>>
,StateLocalInput<FastMealyState<O>,I>
,SuffixOutput<I,Word<O>>
,TransitionOutput<MealyTransition<FastMealyState<O>,O>,O>
,DeterministicAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>
,FiniteAlphabetAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>
,MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
,MutableDeterministic<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
,ShrinkableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
,ShrinkableDeterministic<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
,SimpleAutomaton<FastMealyState<O>,I>
,SimpleDeterministicAutomaton<FastMealyState<O>,I>
,MealyMachine<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
,MutableMealyMachine<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
,StateLocalInputMealyMachine<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
,TransitionOutputAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
,UniversalAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
,UniversalDeterministicAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
,UniversalFiniteAlphabetAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
,GraphViewable
,DeterministicTransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>
,DeterministicOutputTS<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
,DeterministicTransitionOutputTS<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
,MealyTransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
,SimpleDTS<FastMealyState<O>,I>
,SimpleTS<FastMealyState<O>,I>
,TransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>
,UniversalDTS<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
,UniversalTransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
public class FastMealy<I,O> extends AbstractFastMutableDet<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O> implements MutableMealyMachine<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>, StateLocalInputMealyMachine<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>
A fast implementation of a Mealy machine.
-
-
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.MealyMachine
MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<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 FastMealyState<O>
createState(Void property)
MealyTransition<FastMealyState<O>,O>
createTransition(FastMealyState<O> successor, O properties)
FastMealyState<O>
getSuccessor(MealyTransition<FastMealyState<O>,O> transition)
Retrieves the successor state of a given transition.O
getTransitionOutput(MealyTransition<FastMealyState<O>,O> transition)
void
setTransitionOutput(MealyTransition<FastMealyState<O>,O> transition, 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.DeterministicTransitionOutputTS
getOutput, 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.MealyMachine
transitionGraphView
-
Methods inherited from interface net.automatalib.ts.output.MealyTransitionSystem
getStateProperty, 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.MutableMealyMachine
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.concept.StateLocalInput
getLocalInputs
-
Methods inherited from interface net.automatalib.automaton.transducer.TransitionOutputAutomaton
computeStateOutput
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton
transitionGraphView
-
-
-
-
Method Detail
-
getSuccessor
public FastMealyState<O> getSuccessor(MealyTransition<FastMealyState<O>,O> transition)
Description copied from interface:TransitionSystem
Retrieves the successor state of a given transition.- Specified by:
getSuccessor
in interfaceTransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>
- Parameters:
transition
- the transition.- Returns:
- the successor state.
-
getTransitionOutput
public O getTransitionOutput(MealyTransition<FastMealyState<O>,O> transition)
- Specified by:
getTransitionOutput
in interfaceTransitionOutput<I,O>
-
createTransition
public MealyTransition<FastMealyState<O>,O> createTransition(FastMealyState<O> successor, O properties)
- Specified by:
createTransition
in interfaceMutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
-
setTransitionOutput
public void setTransitionOutput(MealyTransition<FastMealyState<O>,O> transition, O output)
- Specified by:
setTransitionOutput
in interfaceMutableTransitionOutput<I,O>
-
createState
protected FastMealyState<O> createState(Void property)
- Specified by:
createState
in classAbstractFastMutable<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
-
-