net.automatalib.automata.transout

Interface MutableMooreMachine<S,I,T,O>

All Superinterfaces:

Automaton<S,I,T>, DeterministicAutomaton<S,I,T>, DeterministicTransitionSystem<S,I,T>, DetOutputAutomaton<S,I,T,Word<O>>, Iterable<S>, MooreMachine<S,I,T,O>, MutableAutomaton<S,I,T,O,Void>, MutableDeterministic<S,I,T,O,Void>, MutableStateOutput<S,O>, Output<I,Word<O>>, OutputAutomaton<S,I,T,Word<O>>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, SimpleDTS<S,I>, SimpleTS<S,I>, SODetOutputAutomaton<S,I,T,Word<O>>, StateOutput<S,O>, SuffixOutput<I,Word<O>>, TransitionOutput<T,O>, TransitionOutputAutomaton<S,I,T,O>, TransitionSystem<S,I,T>, UniversalAutomaton<S,I,T,O,Void>, UniversalDeterministicAutomaton<S,I,T,O,Void>, UniversalDTS<S,I,T,O,Void>, UniversalTransitionSystem<S,I,T,O,Void>

All Known Implementing Classes:

FastMoore

public interface MutableMooreMachine<S,I,T,O>
extends MooreMachine<S,I,T,O>, MutableDeterministic<S,I,T,O,Void>, MutableStateOutput<S,O>

Method Summary

Methods inherited from interface net.automatalib.automata.transout.TransitionOutputAutomaton

getOutput, trace, trace

Methods inherited from interface net.automatalib.automata.concepts.Output

computeOutput

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialState, getState, getSuccessor, getSuccessor

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.automata.concepts.SuffixOutput

computeSuffixOutput

Methods inherited from interface net.automatalib.automata.concepts.TransitionOutput

getTransitionOutput

Methods inherited from interface net.automatalib.automata.MutableDeterministic

setInitialState, setTransition, setTransition

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitionProperty, setTransitions

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.automata.concepts.MutableStateOutput

setStateOutput

Methods inherited from interface net.automatalib.automata.concepts.StateOutput

getStateOutput