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>>
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
Modifier and Type | Method and Description |
---|---|
default void |
setStateProperty(S state,
Void property) |
default void |
setTransitionProperty(T transition,
O property) |
transitionGraphView
computeStateOutput
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, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
getTransitionProperty
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 © 2019. All rights reserved.