net.automatalib.automata.transout.impl

Class FastProbMealy<I,O>

java.lang.Object

net.automatalib.automata.base.fast.AbstractFastMutableNondet<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>>, GrowableAlphabetAutomaton<I>, 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>>, UniversalFiniteAlphabetAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>, GraphViewable, 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 AbstractFastMutableNondet<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.AbstractFastMutableNondet

inputAlphabet

Constructor Summary

Constructors

Constructor and Description
FastProbMealy(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method and Description
void	addTransition(FastProbMealyState<O> src, I input, FastProbMealyState<O> successor, O output, float prob)
protected FastProbMealyState<O>	createState(Void property)
ProbMealyTransition<FastProbMealyState<O>,O>	createTransition(FastProbMealyState<O> successor, ProbabilisticOutput<O> properties)
Void	getStateProperty(FastProbMealyState<O> state) Retrieves the state property for the given state.
FastProbMealyState<O>	getSuccessor(ProbMealyTransition<FastProbMealyState<O>,O> transition) Retrieves the successor state of a given transition.
O	getTransitionOutput(ProbMealyTransition<FastProbMealyState<O>,O> transition)
float	getTransitionProbability(ProbMealyTransition<FastProbMealyState<O>,O> transition)
ProbabilisticOutput<O>	getTransitionProperty(ProbMealyTransition<FastProbMealyState<O>,O> transition) Retrieves the transition property for the given state.
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.AbstractFastMutableNondet

addAlphabetSymbol, addState, clear, createDynamicStateMapping, createStaticStateMapping, getInitialStates, getInputAlphabet, getState, getStateId, getStates, getTransitions, removeAllTransitions, removeState, setInitial, setTransitions, 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.automata.MutableAutomaton

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

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

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

createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, getTransitions, powersetView

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

createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.automata.ShrinkableAutomaton

removeState, unlinkState

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

Constructor Detail

FastProbMealy

public FastProbMealy(Alphabet<I> inputAlphabet)

Method Detail

getSuccessor

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

Description copied from interface: TransitionSystem

Retrieves the successor state of a given transition.

Specified by:

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

Parameters:

transition - the transition.

Returns:

the successor state.

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)

Description copied from interface: UniversalTransitionSystem

Retrieves the state property for the given state.

Specified by:

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

Parameters:

state - the state.

Returns:

the corresponding property.

getTransitionProperty

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

Description copied from interface: UniversalTransitionSystem

Retrieves the transition property for the given state.

Specified by:

getTransitionProperty in interface ProbabilisticMealyMachine<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,O>

Specified by:

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

Parameters:

transition - the transition.

Returns:

the corresponding property.

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

createState

protected FastProbMealyState<O> createState(Void property)

Specified by:

createState in class AbstractFastMutableNondet<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)