Package net.automatalib.automaton

Class UniversalCompactSimpleDet<I,SP>

java.lang.Object

net.automatalib.automaton.base.AbstractCompact<I,T,SP,TP>

net.automatalib.automaton.base.AbstractCompactDeterministic<I,Integer,SP,Void>

net.automatalib.automaton.base.AbstractCompactSimpleDeterministic<I,SP>

net.automatalib.automaton.UniversalCompactSimpleDet<I,SP>

Type Parameters:

I - input symbol type

SP - state property type

All Implemented Interfaces:

Iterable<Integer>, SupportsGrowingAlphabet<I>, Automaton<Integer,I,Integer>, FiniteRepresentation, InputAlphabetHolder<I>, StateIDs<Integer>, StateLocalInput<Integer,I>, DeterministicAutomaton<Integer,I,Integer>, DeterministicAutomaton.FullIntAbstraction<Integer>, DeterministicAutomaton.IntAbstraction<Integer>, DeterministicAutomaton.StateIntAbstraction<I,Integer>, FiniteAlphabetAutomaton<Integer,I,Integer>, MutableAutomaton<Integer,I,Integer,SP,Void>, MutableDeterministic<Integer,I,Integer,SP,Void>, MutableDeterministic.FullIntAbstraction<Integer,SP,Void>, MutableDeterministic.IntAbstraction<Integer,SP,Void>, MutableDeterministic.StateIntAbstraction<I,Integer,SP,Void>, SimpleAutomaton<Integer,I>, SimpleDeterministicAutomaton<Integer,I>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction, SimpleDeterministicAutomaton.StateIntAbstraction<I>, UniversalAutomaton<Integer,I,Integer,SP,Void>, UniversalDeterministicAutomaton<Integer,I,Integer,SP,Void>, UniversalDeterministicAutomaton.FullIntAbstraction<Integer,SP,Void>, UniversalDeterministicAutomaton.IntAbstraction<Integer,SP,Void>, UniversalDeterministicAutomaton.StateIntAbstraction<I,Integer,SP,Void>, UniversalFiniteAlphabetAutomaton<Integer,I,Integer,SP,Void>, GraphViewable, DeterministicTransitionSystem<Integer,I,Integer>, SimpleDTS<Integer,I>, SimpleTS<Integer,I>, TransitionSystem<Integer,I,Integer>, UniversalDTS<Integer,I,Integer,SP,Void>, UniversalTransitionSystem<Integer,I,Integer,SP,Void>

Direct Known Subclasses:

CompactMoore

public class UniversalCompactSimpleDet<I,@Nullable SP>
extends AbstractCompactSimpleDeterministic<I,SP>

A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.

Nested Class Summary

Nested classes/interfaces inherited from class net.automatalib.automaton.base.AbstractCompact

AbstractCompact.Payload

Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableDeterministic

MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>

Field Summary

Fields inherited from class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic

transitions

Fields inherited from class net.automatalib.automaton.base.AbstractCompact

DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATE

Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction

INVALID_STATE

Constructor Summary

Constructors

Modifier	Constructor	Description
	UniversalCompactSimpleDet(Alphabet<I> alphabet)
	UniversalCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
protected	UniversalCompactSimpleDet(Alphabet<I> alphabet, UniversalCompactSimpleDet<?,@Nullable SP> other)
	UniversalCompactSimpleDet(UniversalCompactSimpleDet<I,@Nullable SP> other)

Method Summary

Modifier and Type	Method	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, @Nullable 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().

Methods inherited from class net.automatalib.automaton.base.AbstractCompactSimpleDeterministic

createTransition, getIntSuccessor, getState, getSuccessor, getTransition, getTransitionProperty, removeAllTransitions, setTransition, setTransition, setTransition, setTransitionProperty, updateTransitionStorage

Methods inherited from class net.automatalib.automaton.base.AbstractCompactDeterministic

addIntInitialState, createTransition, fullIntAbstraction, getInitialState, getIntInitialState, getLocalInputs, getStateProperty, getSuccessor, getTransition, getTransition, powersetView, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, stateIntAbstraction

Methods inherited from class net.automatalib.automaton.base.AbstractCompact

addAlphabetSymbol, addIntState, addState, getInputAlphabet, getState, getStateId, getStates, getSymbolIndex, numInputs, size, stateIDs, toId, toMemoryIndex, toState, updateStateStorage, updateTransitionStorage, updateTransitionStorage, updateTransitionStorage

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction

getSuccessor

Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction

getSuccessor

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions

Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton

getTransitions, graphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automaton.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransitions, copyTransition

Methods inherited from interface net.automatalib.automaton.MutableDeterministic

addTransition, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setTransition, setTransitions

Methods inherited from interface net.automatalib.automaton.MutableDeterministic.IntAbstraction

addIntInitialState, addIntState, addIntState

Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction

numInputs

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

getSuccessors

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction

getTransitionProperty

Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton.StateIntAbstraction

getTransitionProperty

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton

transitionGraphView

Constructor Detail

UniversalCompactSimpleDet

public UniversalCompactSimpleDet(Alphabet<I> alphabet)

UniversalCompactSimpleDet

public UniversalCompactSimpleDet(Alphabet<I> alphabet,
                                 int stateCapacity,
                                 float resizeFactor)

UniversalCompactSimpleDet

public UniversalCompactSimpleDet(UniversalCompactSimpleDet<I,@Nullable SP> other)

UniversalCompactSimpleDet

protected UniversalCompactSimpleDet(Alphabet<I> alphabet,
                                    UniversalCompactSimpleDet<?,@Nullable SP> other)

Method Detail

clear

public void clear()

Description copied from interface: MutableAutomaton

Removes all states and transitions.

Specified by:

clear in interface MutableAutomaton<Integer,I,Integer,SP,Void>

Overrides:

clear in class AbstractCompactSimpleDeterministic<I,SP>

setStateProperty

public void setStateProperty(int stateId,
                             @Nullable SP property)

Specified by:

setStateProperty in interface MutableDeterministic.IntAbstraction<Integer,SP,Void>

Specified by:

setStateProperty in class AbstractCompact<I,Integer,SP,Void>

getStateProperty

public SP getStateProperty(int stateId)

Description copied from interface: UniversalDeterministicAutomaton.IntAbstraction

Retrieves the state property of a given (abstracted) state.

Parameters:

stateId - the integer representing the state of which to retrieve the property

Returns:

the property for the given state

updateStateStorage

protected void updateStateStorage(AbstractCompact.Payload payload)

Description copied from class: AbstractCompact

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().

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.

Overrides:

updateStateStorage in class AbstractCompact<I,Integer,SP,Void>

Parameters:

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.