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>
inputAlphabet
Constructor and Description |
---|
FastProbMealy(Alphabet<I> inputAlphabet) |
addState, clear, createDynamicStateMapping, createStaticStateMapping, getInitialStates, getInputAlphabet, getState, getStateId, getStates, getTransitions, removeAllTransitions, removeState, setInitial, setTransitions, stateIDs
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
transitionGraphView
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessors, getTransitions, powersetView
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
removeState, unlinkState
transitionGraphView
graphView
public FastProbMealyState<O> getSuccessor(ProbMealyTransition<FastProbMealyState<O>,O> transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>>
transition
- the transition.public O getTransitionOutput(ProbMealyTransition<FastProbMealyState<O>,O> transition)
getTransitionOutput
in interface TransitionOutput<ProbMealyTransition<FastProbMealyState<O>,O>,O>
public Void getStateProperty(FastProbMealyState<O> state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>
state
- the state.public ProbabilisticOutput<O> getTransitionProperty(ProbMealyTransition<FastProbMealyState<O>,O> transition)
UniversalTransitionSystem
getTransitionProperty
in interface ProbabilisticMealyMachine<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,O>
getTransitionProperty
in interface UniversalTransitionSystem<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>
transition
- the transition.public void setTransitionOutput(ProbMealyTransition<FastProbMealyState<O>,O> transition, O output)
setTransitionOutput
in interface MutableTransitionOutput<ProbMealyTransition<FastProbMealyState<O>,O>,O>
public void setTransitionProbability(ProbMealyTransition<FastProbMealyState<O>,O> transition, float probability)
setTransitionProbability
in interface MutableProbabilistic<ProbMealyTransition<FastProbMealyState<O>,O>>
public float getTransitionProbability(ProbMealyTransition<FastProbMealyState<O>,O> transition)
getTransitionProbability
in interface Probabilistic<ProbMealyTransition<FastProbMealyState<O>,O>>
public void setStateProperty(FastProbMealyState<O> state, Void property)
setStateProperty
in interface MutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>
public void setTransitionProperty(ProbMealyTransition<FastProbMealyState<O>,O> transition, ProbabilisticOutput<O> property)
setTransitionProperty
in interface MutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>
public ProbMealyTransition<FastProbMealyState<O>,O> createTransition(FastProbMealyState<O> successor, ProbabilisticOutput<O> properties)
createTransition
in interface MutableAutomaton<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>
protected FastProbMealyState<O> createState(Void property)
createState
in class FastMutableNondet<FastProbMealyState<O>,I,ProbMealyTransition<FastProbMealyState<O>,O>,Void,ProbabilisticOutput<O>>
public void addTransition(FastProbMealyState<O> src, I input, FastProbMealyState<O> successor, O output, float prob)
Copyright © 2015. All rights reserved.