Interface ProbabilisticMealyMachine<S,I,T,O>
-
- All Superinterfaces:
Automaton<S,I,T>,FiniteRepresentation,Iterable<S>,Probabilistic<T>,SimpleAutomaton<S,I>,SimpleTS<S,I>,TransitionOutput<T,O>,TransitionSystem<S,I,T>,UniversalTransitionSystem<S,I,T,Void,ProbabilisticOutput<O>>
- All Known Subinterfaces:
MutableProbabilisticMealy<S,I,T,O>
public interface ProbabilisticMealyMachine<S,I,T,O> extends Automaton<S,I,T>, TransitionOutput<T,O>, UniversalTransitionSystem<S,I,T,Void,ProbabilisticOutput<O>>, Probabilistic<T>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ProbabilisticOutput<O>getTransitionProperty(T transition)Retrieves the transition property for the given state.-
Methods inherited from interface net.automatalib.automaton.Automaton
transitionGraphView
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.automaton.concept.Probabilistic
getTransitionProbability
-
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.automaton.concept.TransitionOutput
getTransitionOutput
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor, getSuccessors, getTransitions, powersetView
-
Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem
getStateProperty
-
-
-
-
Method Detail
-
getTransitionProperty
ProbabilisticOutput<O> getTransitionProperty(T transition)
Description copied from interface:UniversalTransitionSystemRetrieves the transition property for the given state.- Specified by:
getTransitionPropertyin interfaceUniversalTransitionSystem<S,I,T,Void,ProbabilisticOutput<O>>- Parameters:
transition- the transition.- Returns:
- the corresponding property.
-
-