net.automatalib.automata.transout.impl

Class FastMoore<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<FastMooreState<O>,I,FastMooreState<O>,O,Void>

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

Type Parameters:

I - input symbol class.

O - output symbol class.

All Implemented Interfaces:

Iterable<FastMooreState<O>>, Automaton<FastMooreState<O>,I,FastMooreState<O>>, DetOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,Word<O>>, InputAlphabetHolder<I>, MutableStateOutput<FastMooreState<O>,O>, Output<I,Word<O>>, OutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,Word<O>>, SODetOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,Word<O>>, StateIDs<FastMooreState<O>>, StateOutput<FastMooreState<O>,O>, SuffixOutput<I,Word<O>>, TransitionOutput<FastMooreState<O>,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>, TransitionOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,O>, UniversalAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>, UniversalDeterministicAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>, NodeIDs<FastMooreState<O>>, Graph<FastMooreState<O>,TransitionEdge<I,FastMooreState<O>>>, IndefiniteGraph<FastMooreState<O>,TransitionEdge<I,FastMooreState<O>>>, UniversalGraph<FastMooreState<O>,TransitionEdge<I,FastMooreState<O>>,O,TransitionEdge.Property<I,Void>>, UniversalIndefiniteGraph<FastMooreState<O>,TransitionEdge<I,FastMooreState<O>>,O,TransitionEdge.Property<I,Void>>, DeterministicTransitionSystem<FastMooreState<O>,I,FastMooreState<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 final class FastMoore<I,O>
extends FastMutableDet<FastMooreState<O>,I,FastMooreState<O>,O,Void>
implements MutableMooreMachine<FastMooreState<O>,I,FastMooreState<O>,O>

A fast implementation of a Moore automaton.

Author:

Malte Isberner

Field Summary

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

inputAlphabet

Constructor Summary

Constructors

Constructor and Description
FastMoore(Alphabet<I> alphabet)

Method Summary

Methods

Modifier and Type	Method and Description
Word<O>	computeOutput(Iterable<I> input)
Word<O>	computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
FastMooreState<O>	copyTransition(FastMooreState<O> trans, FastMooreState<O> succ)
protected FastMooreState<O>	createState(O property)
FastMooreState<O>	createTransition(FastMooreState<O> successor, Void properties)
O	getOutput(FastMooreState<O> state, I input)
O	getStateOutput(FastMooreState<O> state)
O	getStateProperty(FastMooreState<O> state)
FastMooreState<O>	getSuccessor(FastMooreState<O> transition)
O	getTransitionOutput(FastMooreState<O> transition)
Void	getTransitionProperty(FastMooreState<O> transition)
void	setStateOutput(FastMooreState<O> state, O output)
void	setStateProperty(FastMooreState<O> state, O property)
void	setTransitionProperty(FastMooreState<O> transition, Void property)
void	trace(FastMooreState<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, addInitialState, addState, 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

iterator

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, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions

Methods inherited from interface net.automatalib.graphs.Graph

size

Constructor Detail

FastMoore

public FastMoore(Alphabet<I> alphabet)

Method Detail

getSuccessor

public FastMooreState<O> getSuccessor(FastMooreState<O> transition)

Specified by:

getSuccessor in interface TransitionSystem<FastMooreState<O>,I,FastMooreState<O>>

trace

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

Specified by:

trace in interface TransitionOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,O>

trace

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

Specified by:

trace in interface TransitionOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,O>

getTransitionOutput

public O getTransitionOutput(FastMooreState<O> transition)

Specified by:

getTransitionOutput in interface TransitionOutput<FastMooreState<O>,O>

getStateOutput

public O getStateOutput(FastMooreState<O> state)

Specified by:

getStateOutput in interface StateOutput<FastMooreState<O>,O>

setStateProperty

public void setStateProperty(FastMooreState<O> state,
                    O property)

Specified by:

setStateProperty in interface MutableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>

setTransitionProperty

public void setTransitionProperty(FastMooreState<O> transition,
                         Void property)

Specified by:

setTransitionProperty in interface MutableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>

createTransition

public FastMooreState<O> createTransition(FastMooreState<O> successor,
                                 Void properties)

Specified by:

createTransition in interface MutableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>

copyTransition

public FastMooreState<O> copyTransition(FastMooreState<O> trans,
                               FastMooreState<O> succ)

Specified by:

copyTransition in interface MutableAutomaton<FastMooreState<O>,I,FastMooreState<O>,O,Void>

setStateOutput

public void setStateOutput(FastMooreState<O> state,
                  O output)

Specified by:

setStateOutput in interface MutableStateOutput<FastMooreState<O>,O>

createState

protected FastMooreState<O> createState(O property)

Specified by:

createState in class FastMutableDet<FastMooreState<O>,I,FastMooreState<O>,O,Void>

getStateProperty

public O getStateProperty(FastMooreState<O> state)

Specified by:

getStateProperty in interface UniversalTransitionSystem<FastMooreState<O>,I,FastMooreState<O>,O,Void>

getTransitionProperty

public Void getTransitionProperty(FastMooreState<O> transition)

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<FastMooreState<O>,I,FastMooreState<O>,O,Void>

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>>

getOutput

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

Specified by:

getOutput in interface TransitionOutputAutomaton<FastMooreState<O>,I,FastMooreState<O>,O>