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
-
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
-
-
-
-
Method Detail
-
getSuccessor
public FastProbMealyState<O> getSuccessor(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)
Description copied from interface:TransitionSystem
Retrieves the successor state of a given transition.- Specified by:
getSuccessor
in interfaceTransitionSystem<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>>
- Parameters:
transition
- the transition.- Returns:
- the successor state.
-
getTransitionOutput
public O getTransitionOutput(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)
- Specified by:
getTransitionOutput
in interfaceTransitionOutput<I,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 interfaceUniversalTransitionSystem<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>
- Parameters:
state
- the state.- Returns:
- the corresponding property.
-
getTransitionProperty
public ProbabilisticOutput<O> getTransitionProperty(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)
Description copied from interface:UniversalTransitionSystem
Retrieves the transition property for the given state.- Specified by:
getTransitionProperty
in interfaceProbabilisticMealyMachine<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,O>
- Specified by:
getTransitionProperty
in interfaceUniversalTransitionSystem<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>
- Parameters:
transition
- the transition.- Returns:
- the corresponding property.
-
setTransitionOutput
public void setTransitionOutput(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition, O output)
- Specified by:
setTransitionOutput
in interfaceMutableTransitionOutput<I,O>
-
setTransitionProbability
public void setTransitionProbability(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition, float probability)
- Specified by:
setTransitionProbability
in interfaceMutableProbabilistic<I>
-
getTransitionProbability
public float getTransitionProbability(MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>> transition)
- Specified by:
getTransitionProbability
in interfaceProbabilistic<I>
-
setStateProperty
public void setStateProperty(FastProbMealyState<O> state, Void property)
- Specified by:
setStateProperty
in interfaceMutableAutomaton<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 interfaceMutableAutomaton<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 interfaceMutableAutomaton<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>
-
createState
protected FastProbMealyState<O> createState(Void property)
- Specified by:
createState
in classAbstractFastMutable<FastProbMealyState<O>,I,MealyTransition<FastProbMealyState<O>,ProbabilisticOutput<O>>,Void,ProbabilisticOutput<O>>
-
-