public class CompactMoore<I,O> extends UniversalCompactSimpleDet<I,O> implements MutableMooreMachine<Integer,I,Integer,O>
AbstractCompact.PayloadMooreMachine.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>MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>transitionsDEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATEINVALID_STATE| Constructor and Description |
|---|
CompactMoore(Alphabet<I> alphabet) |
CompactMoore(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
| Modifier and Type | Method and Description |
|---|---|
O |
getStateOutput(Integer state) |
void |
setStateOutput(Integer state,
O output) |
clear, getStateProperty, setStateProperty, updateStateStoragecreateTransition, getIntSuccessor, getState, getSuccessor, getTransition, getTransitionProperty, removeAllTransitions, setTransition, setTransition, setTransition, setTransitionProperty, updateTransitionStorageaddIntInitialState, createTransition, fullIntAbstraction, getInitialState, getIntInitialState, getLocalInputs, getStateProperty, getSuccessor, getTransition, getTransition, powersetView, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, stateIntAbstractionaddAlphabetSymbol, addIntState, addState, getInputAlphabet, getState, getStateId, getStates, getSymbolIndex, numInputs, size, stateIDs, toId, toMemoryIndex, toState, updateStateStorage, updateTransitionStorage, updateTransitionStorage, updateTransitionStorageclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitsetStateProperty, setTransitionPropertytransitionGraphViewcomputeStateOutputcomputeOutput, computeSuffixOutputcreateStaticStateMapping, getStates, iterator, size, stateIDsforEach, spliteratorgetSuccessor, getSuccessors, getTransition, getTransitions, transToSetgetSuccessor, powersetViewgetInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSetcreateDynamicStateMapping, getSuccessorsgetStateProperty, getTransitionProperty, getTransitionPropertytracetraceaddTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstractionaddInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitionsgetTransitionPropertygetSuccessoraddIntInitialState, addIntState, addIntStategetTransitionPropertygetSuccessornumInputssizetransitionGraphViewgraphViewpublic void setStateOutput(Integer state, @Nullable O output)
setStateOutput in interface MutableStateOutput<Integer,O>@Nullable public O getStateOutput(Integer state)
getStateOutput in interface StateOutput<Integer,O>Copyright © 2019. All rights reserved.