public class CompactMoore<I,O> extends UniversalCompactSimpleDet<I,O> implements MutableMooreMachine<Integer,I,Integer,O>
Modifier and Type | Class and Description |
---|---|
static class |
CompactMoore.Creator<I,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
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
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, O output)
setStateOutput
in interface MutableStateOutput<Integer,O>
public O getStateOutput(Integer state)
getStateOutput
in interface StateOutput<Integer,O>
Copyright © 2020. All rights reserved.