public interface MutableMealyMachine<S,I,T,O> extends MealyMachine<S,I,T,O>, MutableDeterministic<S,I,T,Void,O>, MutableTransitionOutput<T,O>
MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>>
Modifier and Type | Method and Description |
---|---|
default void |
setStateProperty(S state,
Void property) |
default void |
setTransitionProperty(T transition,
O property) |
transitionGraphView
computeOutput, computeSuffixOutput
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
getStateProperty, getTransitionProperty
getOutput, trace, trace
getTransitionOutput
addTransition, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions
setTransitionOutput
default void setStateProperty(S state, Void property)
setStateProperty
in interface MutableAutomaton<S,I,T,Void,O>
default void setTransitionProperty(T transition, O property)
setTransitionProperty
in interface MutableAutomaton<S,I,T,Void,O>
Copyright © 2015. All rights reserved.