net.automatalib.automata.transout.impl

Class FastMealy<I,O>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.ts.abstractimpl.AbstractDTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton<S,I,T>

net.automatalib.automata.abstractimpl.AbstractMutableDeterministic<S,I,T,SP,TP>

net.automatalib.automata.abstractimpl.AbstractShrinkableDeterministic<S,I,T,SP,TP>

net.automatalib.automata.base.fast.FastMutableDet<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

net.automatalib.automata.transout.impl.FastMealy<I,O>

Type Parameters:

I - input symbol class.

O - output symbol class.

All Implemented Interfaces:

Iterable<FastMealyState<O>>, Automaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>, DetOutputAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Word<O>>, InputAlphabetHolder<I>, MutableTransitionOutput<MealyTransition<FastMealyState<O>,O>,O>, Output<I,Word<O>>, OutputAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Word<O>>, SODetOutputAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Word<O>>, StateIDs<FastMealyState<O>>, SuffixOutput<I,Word<O>>, TransitionOutput<MealyTransition<FastMealyState<O>,O>,O>, DeterministicAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>, DOTPlottableAutomaton<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>, 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>, NodeIDs<FastMealyState<O>>, Graph<FastMealyState<O>,TransitionEdge<I,MealyTransition<FastMealyState<O>,O>>>, IndefiniteGraph<FastMealyState<O>,TransitionEdge<I,MealyTransition<FastMealyState<O>,O>>>, UniversalGraph<FastMealyState<O>,TransitionEdge<I,MealyTransition<FastMealyState<O>,O>>,Void,TransitionEdge.Property<I,O>>, UniversalIndefiniteGraph<FastMealyState<O>,TransitionEdge<I,MealyTransition<FastMealyState<O>,O>>,Void,TransitionEdge.Property<I,O>>, DeterministicTransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<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 FastMutableDet<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>
implements MutableMealyMachine<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>, DOTPlottableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>

A fast implementation of a Mealy machine.

Author:

Malte Isberner

Field Summary

Fields inherited from class net.automatalib.automata.base.fast.FastMutableDet

inputAlphabet

Constructor Summary

Constructors

Constructor and Description
FastMealy(Alphabet<I> alphabet) Constructor.

Method Summary

Modifier and Type	Method and Description
FastMealyState<O>	addInitialState()
FastMealyState<O>	addState()
Word<O>	computeOutput(Iterable<I> input)
Word<O>	computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
MealyTransition<FastMealyState<O>,O>	copyTransition(MealyTransition<FastMealyState<O>,O> trans, FastMealyState<O> succ)
protected FastMealyState<O>	createState(Void property)
MealyTransition<FastMealyState<O>,O>	createTransition(FastMealyState<O> successor, O properties)
GraphDOTHelper<FastMealyState<O>,TransitionEdge<I,MealyTransition<FastMealyState<O>,O>>>	getDOTHelper()
O	getOutput(FastMealyState<O> state, I input) Retrieves the output for the given input symbol in the given state.
Void	getStateProperty(FastMealyState<O> state) Retrieves the state property for the given state.
FastMealyState<O>	getSuccessor(MealyTransition<FastMealyState<O>,O> transition) Retrieves the successor state of a given transition.
O	getTransitionOutput(MealyTransition<FastMealyState<O>,O> transition)
O	getTransitionProperty(MealyTransition<FastMealyState<O>,O> transition) Retrieves the transition property for the given state.
void	setStateProperty(FastMealyState<O> state, Void property)
void	setTransitionOutput(MealyTransition<FastMealyState<O>,O> transition, O output)
void	setTransitionProperty(MealyTransition<FastMealyState<O>,O> transition, O property)
void	trace(FastMealyState<O> state, Iterable<I> input, List<O> output)
void	trace(Iterable<I> input, List<O> output)

Methods inherited from class net.automatalib.automata.base.fast.FastMutableDet

addState, clear, createDynamicNodeMapping, createDynamicStateMapping, createStaticNodeMapping, createStaticStateMapping, getEdgeProperty, getInitialState, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStates, getTarget, getTransition, nodeIDs, removeAllTransitions, removeState, setInitialState, setTransition, stateIDs

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractShrinkableDeterministic

removeState

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

addInitialState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton

iterator, size

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractDTS

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

getTransitions, powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialState, getState, getSuccessor, getSuccessor

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.automata.MutableDeterministic

setInitialState, setTransition, setTransition

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions

Methods inherited from interface net.automatalib.automata.concepts.InputAlphabetHolder

getInputAlphabet

Methods inherited from interface net.automatalib.graphs.Graph

size

Constructor Detail

FastMealy

public FastMealy(Alphabet<I> alphabet)

Constructor. Initializes a new (empty) Mealy machine with the given input alphabet.

Parameters:

alphabet - the input alphabet.

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 interface TransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>

Parameters:

transition - the transition.

Returns:

the successor state.

trace

public void trace(Iterable<I> input,
                  List<O> output)

Specified by:

trace in interface TransitionOutputAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>

trace

public void trace(FastMealyState<O> state,
                  Iterable<I> input,
                  List<O> output)

Specified by:

trace in interface TransitionOutputAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>

getTransitionOutput

public O getTransitionOutput(MealyTransition<FastMealyState<O>,O> transition)

Specified by:

getTransitionOutput in interface TransitionOutput<MealyTransition<FastMealyState<O>,O>,O>

getStateProperty

public Void getStateProperty(FastMealyState<O> state)

Description copied from interface: UniversalTransitionSystem

Retrieves the state property for the given state.

Specified by:

getStateProperty in interface UniversalTransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

Parameters:

state - the state.

Returns:

the corresponding property.

getTransitionProperty

public O getTransitionProperty(MealyTransition<FastMealyState<O>,O> transition)

Description copied from interface: UniversalTransitionSystem

Retrieves the transition property for the given state.

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

Parameters:

transition - the transition.

Returns:

the corresponding property.

setStateProperty

public void setStateProperty(FastMealyState<O> state,
                             Void property)

Specified by:

setStateProperty in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

setTransitionProperty

public void setTransitionProperty(MealyTransition<FastMealyState<O>,O> transition,
                                  O property)

Specified by:

setTransitionProperty in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

createTransition

public MealyTransition<FastMealyState<O>,O> createTransition(FastMealyState<O> successor,
                                                             O properties)

Specified by:

createTransition in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

copyTransition

public MealyTransition<FastMealyState<O>,O> copyTransition(MealyTransition<FastMealyState<O>,O> trans,
                                                           FastMealyState<O> succ)

Specified by:

copyTransition in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

setTransitionOutput

public void setTransitionOutput(MealyTransition<FastMealyState<O>,O> transition,
                                O output)

Specified by:

setTransitionOutput in interface MutableTransitionOutput<MealyTransition<FastMealyState<O>,O>,O>

createState

protected FastMealyState<O> createState(Void property)

Specified by:

createState in class FastMutableDet<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

computeSuffixOutput

public Word<O> computeSuffixOutput(Iterable<I> prefix,
                                   Iterable<I> suffix)

Specified by:

computeSuffixOutput in interface SuffixOutput<I,Word<O>>

computeOutput

public Word<O> computeOutput(Iterable<I> input)

Specified by:

computeOutput in interface Output<I,Word<O>>

addInitialState

public FastMealyState<O> addInitialState()

Specified by:

addInitialState in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

Overrides:

addInitialState in class AbstractMutableDeterministic<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

addState

public FastMealyState<O> addState()

Specified by:

addState in interface MutableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

Overrides:

addState in class AbstractMutableDeterministic<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,Void,O>

getOutput

public O getOutput(FastMealyState<O> state,
                   I input)

Description copied from interface: TransitionOutputAutomaton

Retrieves the output for the given input symbol in the given state. This is roughly equivalent to calling TransitionOutput.getTransitionOutput(Object) on the transition returned by DeterministicTransitionSystem.getTransition(Object, Object), however it should be noted that this function does not allow distinguishing between a null output and an undefined transition.

Specified by:

getOutput in interface TransitionOutputAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>,O>

Parameters:

state - the source state

input - the input symbol

Returns:

the output symbol (or null if the transition is undefined)

getDOTHelper

public GraphDOTHelper<FastMealyState<O>,TransitionEdge<I,MealyTransition<FastMealyState<O>,O>>> getDOTHelper()

Specified by:

getDOTHelper in interface DOTPlottableAutomaton<FastMealyState<O>,I,MealyTransition<FastMealyState<O>,O>>