Package net.automatalib.automaton.transducer.probabilistic

Class FastProbMealy<I,O>

java.lang.Object

net.automatalib.automaton.base.AbstractFastMutable<S,I,T,SP,TP>

net.automatalib.automaton.base.AbstractFastMutableNondet<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>

net.automatalib.automaton.transducer.probabilistic.FastProbMealy<I,O>

All Implemented Interfaces:

Iterable<FastProbMealyState<O>>, SupportsGrowingAlphabet<I>, Automaton<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>>, FiniteRepresentation, InputAlphabetHolder<I>, MutableProbabilistic<MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>>, MutableTransitionOutput<MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,O>, Probabilistic<MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>>, StateIDs<FastProbMealyState<O>>, StateLocalInput<FastProbMealyState<O>,I>, TransitionOutput<MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,O>, FiniteAlphabetAutomaton<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>>, MutableAutomaton<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>, ShrinkableAutomaton<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>, SimpleAutomaton<FastProbMealyState<O>,I>, MutableProbabilisticMealy<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,O>, ProbabilisticMealyMachine<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,O>, UniversalAutomaton<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>, UniversalFiniteAlphabetAutomaton<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>, GraphViewable, SimpleTS<FastProbMealyState<O>,I>, TransitionSystem<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>>, UniversalTransitionSystem<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>

public class FastProbMealy<I,O>
extends AbstractFastMutableNondet<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>
implements MutableProbabilisticMealy<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,O>

Field Summary

Fields inherited from class net.automatalib.automaton.base.AbstractFastMutable

inputAlphabet

Constructor Summary

Constructors

Constructor	Description
FastProbMealy(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method	Description
protected FastProbMealyState<O>	createState(Void property)
MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>	createTransition(FastProbMealyState<O> successor, ProbabilisticOutput<O> properties)
Void	getStateProperty(FastProbMealyState<O> state)
FastProbMealyState<O>	getSuccessor(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)
O	getTransitionOutput(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)
float	getTransitionProbability(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)
ProbabilisticOutput<O>	getTransitionProperty(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)
void	setStateProperty(FastProbMealyState<O> state, Void property)
void	setTransitionOutput(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition, O output)
void	setTransitionProbability(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition, float probability)
void	setTransitionProperty(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition, ProbabilisticOutput<O> property)

Methods inherited from class net.automatalib.automaton.base.AbstractFastMutableNondet

clear, getInitialStates, getLocalInputs, getTransitions, powersetView, removeState, setInitial, setTransitions

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.automaton.FiniteAlphabetAutomaton

getTransitions, graphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automaton.MutableAutomaton

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

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

getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, getTransitions, powersetView

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton

transitionGraphView

Constructor Detail

FastProbMealy

public FastProbMealy(Alphabet<I> inputAlphabet)

Method Detail

getSuccessor

public FastProbMealyState<O> getSuccessor(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)

Specified by:

getSuccessor in interface TransitionSystem<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>>

getTransitionOutput

public O getTransitionOutput(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)

Specified by:

getTransitionOutput in interface TransitionOutput<I,O>

getStateProperty

public Void getStateProperty(FastProbMealyState<O> state)

Specified by:

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

getTransitionProperty

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

Specified by:

getTransitionProperty in interface ProbabilisticMealyMachine<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,O>

Specified by:

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

setTransitionOutput

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

Specified by:

setTransitionOutput in interface MutableTransitionOutput<I,O>

setTransitionProbability

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

Specified by:

setTransitionProbability in interface MutableProbabilistic<I>

getTransitionProbability

public float getTransitionProbability(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)

Specified by:

getTransitionProbability in interface Probabilistic<I>

setStateProperty

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

Specified by:

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

setTransitionProperty

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

Specified by:

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

createTransition

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

Specified by:

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

createState

protected FastProbMealyState<O> createState(Void property)

Specified by:

createState in class AbstractFastMutable<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>