public class CompactMoore<I,O> extends UniversalCompactSimpleDet<I,O> implements MutableMooreMachine<Integer,I,Integer,O>
AbstractCompact.Payload
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>
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>>
transitions
DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATE
INVALID_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, updateStateStorage
createTransition, getIntSuccessor, getState, getSuccessor, getTransition, getTransitionProperty, removeAllTransitions, setTransition, setTransition, setTransition, setTransitionProperty, updateTransitionStorage
addIntInitialState, createTransition, fullIntAbstraction, getInitialState, getIntInitialState, getLocalInputs, getStateProperty, getSuccessor, getTransition, getTransition, powersetView, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, stateIntAbstraction
addAlphabetSymbol, addIntState, addState, getInputAlphabet, getState, getStateId, getStates, getSymbolIndex, numInputs, size, stateIDs, toId, toMemoryIndex, toState, updateStateStorage, updateTransitionStorage, updateTransitionStorage, updateTransitionStorage
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
setStateProperty, setTransitionProperty
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
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions
getTransitionProperty
getSuccessor
addIntInitialState, addIntState, addIntState
getTransitionProperty
getSuccessor
numInputs
size
transitionGraphView
graphView
public 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.