Interface MutableMealyMachine<S,I,T,O>
-
- All Superinterfaces:
Automaton<S,I,T>
,DeterministicAutomaton<S,I,T>
,DeterministicOutputTS<S,I,T,O>
,DeterministicTransitionOutputTS<S,I,T,O>
,DeterministicTransitionSystem<S,I,T>
,DetOutputAutomaton<S,I,T,Word<O>>
,DetSuffixOutputAutomaton<S,I,T,Word<O>>
,FiniteRepresentation
,Iterable<S>
,MealyMachine<S,I,T,O>
,MealyTransitionSystem<S,I,T,O>
,MutableAutomaton<S,I,T,Void,O>
,MutableDeterministic<S,I,T,Void,O>
,MutableTransitionOutput<T,O>
,Output<I,Word<O>>
,OutputAutomaton<S,I,T,Word<O>>
,SimpleAutomaton<S,I>
,SimpleDeterministicAutomaton<S,I>
,SimpleDTS<S,I>
,SimpleTS<S,I>
,SuffixOutput<I,Word<O>>
,TransitionOutput<T,O>
,TransitionOutputAutomaton<S,I,T,O>
,TransitionSystem<S,I,T>
,UniversalAutomaton<S,I,T,Void,O>
,UniversalDeterministicAutomaton<S,I,T,Void,O>
,UniversalDTS<S,I,T,Void,O>
,UniversalTransitionSystem<S,I,T,Void,O>
- All Known Implementing Classes:
CompactMealy
,FastMealy
public interface MutableMealyMachine<S,I,T,O> extends MealyMachine<S,I,T,O>, MutableDeterministic<S,I,T,Void,O>, MutableTransitionOutput<T,O>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton
DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.transducer.MealyMachine
MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableDeterministic
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default void
setStateProperty(S state, Void property)
default void
setTransitionProperty(T transition, O property)
-
Methods inherited from interface net.automatalib.ts.output.DeterministicOutputTS
trace
-
Methods inherited from interface net.automatalib.ts.output.DeterministicTransitionOutputTS
getOutput, trace
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
computeOutput, computeSuffixOutput
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.automaton.transducer.MealyMachine
transitionGraphView
-
Methods inherited from interface net.automatalib.ts.output.MealyTransitionSystem
getStateProperty, getTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.MutableAutomaton
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions
-
Methods inherited from interface net.automatalib.automaton.MutableDeterministic
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
-
Methods inherited from interface net.automatalib.automaton.concept.MutableTransitionOutput
setTransitionOutput
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
getSuccessors
-
Methods inherited from interface net.automatalib.automaton.concept.TransitionOutput
getTransitionOutput
-
Methods inherited from interface net.automatalib.automaton.transducer.TransitionOutputAutomaton
computeStateOutput
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor, powersetView
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
-
-
-
Method Detail
-
setStateProperty
default void setStateProperty(S state, Void property)
- Specified by:
setStateProperty
in interfaceMutableAutomaton<S,I,T,Void,O>
-
setTransitionProperty
default void setTransitionProperty(T transition, O property)
- Specified by:
setTransitionProperty
in interfaceMutableAutomaton<S,I,T,Void,O>
-
-