public interface MutableMooreMachine<S,I,T,O> extends MooreMachine<S,I,T,O>, MutableDeterministic<S,I,T,O,Void>, MutableStateOutput<S,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,
O property) |
default void |
setTransitionProperty(T transition,
Void property) |
getStateProperty, getTransitionOutput, getTransitionProperty
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
getOutput, trace, trace
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
getTransitionProperty
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions
transitionGraphView
setStateOutput
getStateOutput
default void setStateProperty(S state, O property)
setStateProperty
in interface MutableAutomaton<S,I,T,O,Void>
default void setTransitionProperty(T transition, Void property)
setTransitionProperty
in interface MutableAutomaton<S,I,T,O,Void>
Copyright © 2015. All rights reserved.