Module net.automatalib.api
Interface MutableProbabilisticMealy<S,I,T,O>
- All Superinterfaces:
Automaton<S,,I, T> Automaton.RegularAutomaton<S,,I, T> FiniteRepresentation,FiniteSemantics,InitialStates<S>,Iterable<S>,MutableAutomaton<S,,I, T, Void, ProbabilisticOutput<O>> MutableAutomaton.RegularAutomaton<S,,I, T, Void, ProbabilisticOutput<O>> MutableProbabilistic<T>,MutableTransitionOutput<T,,O> Probabilistic<T>,ProbabilisticMealyMachine<S,,I, T, O> Semantics,SimpleAutomaton<S,,I> SimpleTS<S,,I> TransitionOutput<T,,O> TransitionSystem<S,,I, T> UniversalAutomaton<S,,I, T, Void, ProbabilisticOutput<O>> UniversalAutomaton.RegularAutomaton<S,,I, T, Void, ProbabilisticOutput<O>> UniversalTransitionSystem<S,I, T, Void, ProbabilisticOutput<O>>
- All Known Implementing Classes:
FastProbMealy
public interface MutableProbabilisticMealy<S,I,T,O>
extends MutableAutomaton.RegularAutomaton<S,I,T,Void,ProbabilisticOutput<O>>, ProbabilisticMealyMachine<S,I,T,O>, MutableTransitionOutput<T,O>, MutableProbabilistic<T>
-
Nested Class Summary
Nested classes/interfaces inherited from interface net.automatalib.automaton.Automaton
Automaton.RegularAutomaton<S,I, T> Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableAutomaton
MutableAutomaton.RegularAutomaton<S,I, T, SP, TP> Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalAutomaton
UniversalAutomaton.RegularAutomaton<S,I, T, SP, TP> -
Method Summary
Methods inherited from interface net.automatalib.automaton.concept.InitialStates
getInitialStatesMethods inherited from interface java.lang.Iterable
forEach, spliteratorMethods inherited from interface net.automatalib.automaton.MutableAutomaton
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitionProperty, setTransitionsMethods inherited from interface net.automatalib.automaton.concept.MutableProbabilistic
setTransitionProbabilityMethods inherited from interface net.automatalib.automaton.concept.MutableTransitionOutput
setTransitionOutputMethods inherited from interface net.automatalib.automaton.transducer.probabilistic.ProbabilisticMealyMachine
getStateProperty, getTransitionOutput, getTransitionProbabilityMethods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDsMethods inherited from interface net.automatalib.ts.simple.SimpleTS
getStates, getSuccessorsMethods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor, getSuccessors, getTransitions, powersetViewMethods inherited from interface net.automatalib.automaton.UniversalAutomaton
transitionGraphViewMethods inherited from interface net.automatalib.automaton.UniversalAutomaton.RegularAutomaton
getSemanticsMethods inherited from interface net.automatalib.ts.UniversalTransitionSystem
getTransitionProperty
-
Method Details
-
setStateProperty
- Specified by:
setStatePropertyin interfaceMutableAutomaton<S,I, T, Void, ProbabilisticOutput<O>>
-