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