net.automatalib.automata.transout.impl

Class FastProbMealy<I,O>

java.lang.Object

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

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

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

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

net.automatalib.automata.base.fast.FastMutableNondet<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

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

All Implemented Interfaces:

Iterable<FastProbMealyState<O>>, Automaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>>, InputAlphabetHolder<I>, MutableProbabilistic<ProbMealyTransition<FastProbMealyState<O>,O>>, MutableTransitionOutput<ProbMealyTransition<FastProbMealyState<O>,O>,O>, Probabilistic<ProbMealyTransition<FastProbMealyState<O>,O>>, StateIDs<FastProbMealyState<O>>, TransitionOutput<ProbMealyTransition<FastProbMealyState<O>,O>,O>, FiniteAlphabetAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>>, MutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>, ShrinkableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>, SimpleAutomaton<FastProbMealyState<O>,I>, MutableProbabilisticMealy<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,O>, ProbabilisticMealyMachine<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,O>, UniversalAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>, NodeIDs<FastProbMealyState<O>>, Graph<FastProbMealyState<O>,TransitionEdge<I,ProbMealyTransition<FastProbMealyState<O>,O>>>, IndefiniteGraph<FastProbMealyState<O>,TransitionEdge<I,ProbMealyTransition<FastProbMealyState<O>,O>>>, UniversalGraph<FastProbMealyState<O>,TransitionEdge<I,ProbMealyTransition<FastProbMealyState<O>,O>>,Void,TransitionEdge.Property<I,ProbabilisticOutput<O>>>, UniversalIndefiniteGraph<FastProbMealyState<O>,TransitionEdge<I,ProbMealyTransition<FastProbMealyState<O>,O>>,Void,TransitionEdge.Property<I,ProbabilisticOutput<O>>>, SimpleTS<FastProbMealyState<O>,I>, TransitionSystem<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>>, UniversalTransitionSystem<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

public class FastProbMealy<I,O>
extends FastMutableNondet<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>
implements MutableProbabilisticMealy<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,O>

Field Summary

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

inputAlphabet

Constructor Summary

Constructors

Constructor and Description
FastProbMealy(Alphabet<I> inputAlphabet)

Method Summary

Methods

Modifier and Type	Method and Description
FastProbMealyState<O>	addInitialState()
FastProbMealyState<O>	addState()
void	addTransition(FastProbMealyState<O> src, I input, FastProbMealyState<O> successor, O output, float prob)
ProbMealyTransition<FastProbMealyState<O>,O>	copyTransition(ProbMealyTransition<FastProbMealyState<O>,O> trans, FastProbMealyState<O> succ)
protected FastProbMealyState<O>	createState(Void property)
ProbMealyTransition<FastProbMealyState<O>,O>	createTransition(FastProbMealyState<O> successor, ProbabilisticOutput<O> properties)
Void	getStateProperty(FastProbMealyState<O> state)
FastProbMealyState<O>	getSuccessor(ProbMealyTransition<FastProbMealyState<O>,O> transition)
O	getTransitionOutput(ProbMealyTransition<FastProbMealyState<O>,O> transition)
float	getTransitionProbability(ProbMealyTransition<FastProbMealyState<O>,O> transition)
ProbabilisticOutput<O>	getTransitionProperty(ProbMealyTransition<FastProbMealyState<O>,O> transition)
void	setStateProperty(FastProbMealyState<O> state, Void property)
void	setTransitionOutput(ProbMealyTransition<FastProbMealyState<O>,O> transition, O output)
void	setTransitionProbability(ProbMealyTransition<FastProbMealyState<O>,O> transition, float probability)
void	setTransitionProperty(ProbMealyTransition<FastProbMealyState<O>,O> transition, ProbabilisticOutput<O> property)

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

addState, clear, createDynamicNodeMapping, createDynamicStateMapping, createStaticNodeMapping, createStaticStateMapping, getEdgeProperty, getInitialStates, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStates, getTarget, getTransitions, nodeIDs, removeAllTransitions, removeState, setInitial, setTransitions, stateIDs

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

removeState, removeState, unlinkState

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

addInitialState, addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransition, addTransitions, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition

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

iterator, iterator, size, size, stateIDs

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

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

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

getTransitions, powersetView

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

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

Methods inherited from interface net.automatalib.graphs.Graph

size

Constructor Detail

FastProbMealy

public FastProbMealy(Alphabet<I> inputAlphabet)

Method Detail

getSuccessor

public FastProbMealyState<O> getSuccessor(ProbMealyTransition<FastProbMealyState<O>,O> transition)

Specified by:

getSuccessor in interface TransitionSystem<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>>

getTransitionOutput

public O getTransitionOutput(ProbMealyTransition<FastProbMealyState<O>,O> transition)

Specified by:

getTransitionOutput in interface TransitionOutput<ProbMealyTransition<FastProbMealyState<O>,O>,O>

getStateProperty

public Void getStateProperty(FastProbMealyState<O> state)

Specified by:

getStateProperty in interface UniversalTransitionSystem<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

getTransitionProperty

public ProbabilisticOutput<O> getTransitionProperty(ProbMealyTransition<FastProbMealyState<O>,O> transition)

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

setTransitionOutput

public void setTransitionOutput(ProbMealyTransition<FastProbMealyState<O>,O> transition,
                       O output)

Specified by:

setTransitionOutput in interface MutableTransitionOutput<ProbMealyTransition<FastProbMealyState<O>,O>,O>

setTransitionProbability

public void setTransitionProbability(ProbMealyTransition<FastProbMealyState<O>,O> transition,
                            float probability)

Specified by:

setTransitionProbability in interface MutableProbabilistic<ProbMealyTransition<FastProbMealyState<O>,O>>

getTransitionProbability

public float getTransitionProbability(ProbMealyTransition<FastProbMealyState<O>,O> transition)

Specified by:

getTransitionProbability in interface Probabilistic<ProbMealyTransition<FastProbMealyState<O>,O>>

setStateProperty

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

Specified by:

setStateProperty in interface MutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

setTransitionProperty

public void setTransitionProperty(ProbMealyTransition<FastProbMealyState<O>,O> transition,
                         ProbabilisticOutput<O> property)

Specified by:

setTransitionProperty in interface MutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

createTransition

public ProbMealyTransition<FastProbMealyState<O>,O> createTransition(FastProbMealyState<O> successor,
                                                            ProbabilisticOutput<O> properties)

Specified by:

createTransition in interface MutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

copyTransition

public ProbMealyTransition<FastProbMealyState<O>,O> copyTransition(ProbMealyTransition<FastProbMealyState<O>,O> trans,
                                                          FastProbMealyState<O> succ)

Specified by:

copyTransition in interface MutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

createState

protected FastProbMealyState<O> createState(Void property)

Specified by:

createState in class FastMutableNondet<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

addState

public FastProbMealyState<O> addState()

Specified by:

addState in interface MutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

Overrides:

addState in class AbstractMutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

addInitialState

public FastProbMealyState<O> addInitialState()

Specified by:

addInitialState in interface MutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

Overrides:

addInitialState in class AbstractMutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>

addTransition

public void addTransition(FastProbMealyState<O> src,
                 I input,
                 FastProbMealyState<O> successor,
                 O output,
                 float prob)