I
- input symbol typeSP
- state property type@ParametersAreNonnullByDefault public class UniversalCompactSimpleDet<I,SP> extends AbstractCompactSimpleDeterministic<I,SP>
AbstractCompactSimpleDeterministic
-based implementation for automata that need to store generic state
properties.AbstractCompact.Payload
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 |
---|
UniversalCompactSimpleDet(Alphabet<I> alphabet) |
UniversalCompactSimpleDet(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
Modifier and Type | Method and Description |
---|---|
void |
clear()
Removes all states and transitions.
|
SP |
getStateProperty(int stateId)
Retrieves the state property of a given (abstracted) state.
|
void |
setStateProperty(int stateId,
SP property) |
protected void |
updateStateStorage(AbstractCompact.Payload payload)
Implementing classes should override this method in order to react to changes to the layout of their array-based
state data, e.g. due to calls to
MutableAutomaton.addState() . |
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
addTransition, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setTransition, setTransitions
getTransitionProperty
getSuccessor, getSuccessors, getTransitions, transToSet
getInitialStates, getStates, getSuccessors, stateToSet
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, copyTransition
transitionGraphView
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
createDynamicStateMapping, getSuccessors
getTransitionProperty
getSuccessor
addIntInitialState, addIntState, addIntState
getTransitionProperty
getSuccessor
numInputs
size
transitionGraphView
graphView
public void clear()
MutableAutomaton
public void setStateProperty(int stateId, SP property)
setStateProperty
in interface MutableDeterministic.IntAbstraction<Integer,SP,Void>
setStateProperty
in class AbstractCompact<I,Integer,SP,Void>
public SP getStateProperty(int stateId)
UniversalDeterministicAutomaton.IntAbstraction
stateId
- the integer representing the state of which to retrieve the propertyprotected void updateStateStorage(AbstractCompact.Payload payload)
AbstractCompact
MutableAutomaton.addState()
.
Subclasses may use one of the AbstractCompact.updateStateStorage(Object[], Object, Payload)
... methods to conveniently
delegate this task to this base class. This leaves subclasses only with the task to invoke the provided update
methods for each of their local array storages.
updateStateStorage
in class AbstractCompact<I,Integer,SP,Void>
payload
- the payload containing the necessary information for the update operation. This object must be passed
as-is to the AbstractCompact.updateStateStorage(Object[], Object, Payload)
... methods.Copyright © 2019. All rights reserved.