net.automatalib.automata.base.compact

Class AbstractCompactDeterministic<I,T,SP,TP>

java.lang.Object

net.automatalib.automata.base.compact.AbstractCompactDeterministic<I,T,SP,TP>

All Implemented Interfaces:

Serializable, Iterable<Integer>, Automaton<Integer,I,T>, InputAlphabetHolder<I>, StateIDs<Integer>, DeterministicAutomaton<Integer,I,T>, DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>, FiniteAlphabetAutomaton<Integer,I,T>, GrowableAlphabetAutomaton<I>, MutableAutomaton<Integer,I,T,SP,TP>, MutableDeterministic<Integer,I,T,SP,TP>, MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>, SimpleAutomaton<Integer,I>, SimpleDeterministicAutomaton<Integer,I>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction, SimpleDeterministicAutomaton.StateIntAbstraction<I>, UniversalAutomaton<Integer,I,T,SP,TP>, UniversalDeterministicAutomaton<Integer,I,T,SP,TP>, UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<Integer,I,T,SP,TP>, GraphViewable, DeterministicTransitionSystem<Integer,I,T>, SimpleDTS<Integer,I>, SimpleTS<Integer,I>, TransitionSystem<Integer,I,T>, UniversalDTS<Integer,I,T,SP,TP>, UniversalTransitionSystem<Integer,I,T,SP,TP>

Direct Known Subclasses:

CompactMealy

public abstract class AbstractCompactDeterministic<I,T,SP,TP>
extends Object
implements MutableDeterministic<Integer,I,T,SP,TP>, StateIDs<Integer>, UniversalFiniteAlphabetAutomaton<Integer,I,T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>, MutableDeterministic.FullIntAbstraction<T,SP,TP>, GrowableAlphabetAutomaton<I>, Serializable

See Also:

Serialized Form

Nested Class Summary

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

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

Nested classes/interfaces inherited from interface net.automatalib.automata.MutableDeterministic.StateIntAbstraction

MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>

Nested classes/interfaces inherited from interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction

MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>

Field Summary

Fields

Modifier and Type	Field and Description
protected Alphabet<I>	alphabet
protected int	alphabetSize
static int	DEFAULT_INIT_CAPACITY
static float	DEFAULT_RESIZE_FACTOR
protected int	initial
protected int	numStates
protected float	resizeFactor
protected int	stateCapacity
protected Object[]	transitions

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

INVALID_STATE

Constructor Summary

Constructors

Constructor and Description
AbstractCompactDeterministic(Alphabet<I> alphabet)
AbstractCompactDeterministic(Alphabet<I> alphabet, float resizeFactor)
AbstractCompactDeterministic(Alphabet<I> alphabet, int stateCapacity)
AbstractCompactDeterministic(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol) Adds a new symbol to the alphabet of the automaton.
int	addIntInitialState()
int	addIntInitialState(SP property)
int	addIntState()
int	addIntState(SP property)
Integer	addState(SP property) Adds a state to the automaton.
void	clear() Removes all states and transitions.
abstract T	copyTransition(T trans, int succId)
T	copyTransition(T trans, Integer succ)
protected int	createState()
T	createTransition(Integer succ, TP property)
abstract T	createTransition(int succId, TP property)
protected void	ensureCapacity()
void	ensureCapacity(int newCapacity)
MutableDeterministic.FullIntAbstraction<T,SP,TP>	fullIntAbstraction()
MutableDeterministic.FullIntAbstraction<T,SP,TP>	fullIntAbstraction(Alphabet<I> alphabet) Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.
protected static int	getId(Integer id)
Integer	getInitialState() Retrieves the initial state of this transition system.
Alphabet<I>	getInputAlphabet()
int	getIntInitialState() Retrieves the initial state of the (abstracted) automaton as an integer.
Integer	getState(int id)
int	getStateId(Integer state)
abstract SP	getStateProperty(int stateId) Retrieves the state property of a given (abstracted) state.
SP	getStateProperty(Integer state) Retrieves the state property for the given state.
Collection<Integer>	getStates() Retrieves all states of the transition system.
Integer	getSuccessor(T transition) Retrieves the successor state of a given transition.
T	getTransition(Integer state, I input) Retrieves the transition triggered by the given input symbol.
T	getTransition(int stateId, I input) Retrieves the outgoing transition for an (abstracted) source state and input symbol, or returns null if the automaton has no transition for this state and input.
T	getTransition(int stateId, int inputIdx) Retrieves the outgoing transition for an (abstracted) source state and (abstracted) input symbol, or returns null if the automaton has no transition for this state and input.
protected static Integer	makeId(int id)
int	numInputs() Retrieves the number of input symbols.
void	removeAllTransitions(Integer state)
void	setInitialState(int stateId)
void	setInitialState(Integer state) Sets the initial state to the given state.
void	setStateProperty(Integer state, SP property)
abstract void	setStateProperty(int state, SP property)
void	setTransition(Integer state, I input, T transition) Sets the transition for the given state and input symbol.
void	setTransition(int stateId, I input, int succId, TP property)
void	setTransition(int stateId, int inputIdx, int succId)
void	setTransition(int stateId, int inputIdx, int succId, TP property)
void	setTransition(int state, int inputIdx, T trans)
void	setTransition(int state, I input, T trans)
int	size() Retrieves the size (number of states) of this transition system.
StateIDs<Integer>	stateIDs()
MutableDeterministic.StateIntAbstraction<I,T,SP,TP>	stateIntAbstraction() Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.automata.MutableDeterministic

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

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions, transToSet

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addTransition, addTransitions, setTransitionProperty

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

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

createStaticStateMapping, iterator

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getTransitionProperty

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

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

createDynamicStateMapping, getSuccessors

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

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

getTransitionProperty

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

getSuccessor

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

setTransitionProperty

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

getTransitionProperty

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction

getTransitionProperty

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

getSuccessor

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.IntAbstraction

getIntSuccessor

Field Detail

DEFAULT_RESIZE_FACTOR

public static final float DEFAULT_RESIZE_FACTOR

See Also:

Constant Field Values

DEFAULT_INIT_CAPACITY

public static final int DEFAULT_INIT_CAPACITY

See Also:

Constant Field Values

alphabet

protected Alphabet<I> alphabet

resizeFactor

protected final float resizeFactor

alphabetSize

protected int alphabetSize

transitions

protected Object[] transitions

stateCapacity

protected int stateCapacity

numStates

protected int numStates

initial

protected int initial

Constructor Detail

AbstractCompactDeterministic

public AbstractCompactDeterministic(Alphabet<I> alphabet)

AbstractCompactDeterministic

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

AbstractCompactDeterministic

public AbstractCompactDeterministic(Alphabet<I> alphabet,
                                    int stateCapacity)

AbstractCompactDeterministic

public AbstractCompactDeterministic(Alphabet<I> alphabet,
                                    float resizeFactor)

Method Detail

setTransition

public void setTransition(int stateId,
                          int inputIdx,
                          int succId)

setTransition

public void setTransition(int state,
                          int inputIdx,
                          T trans)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<T,SP,TP>

setTransition

public void setTransition(int stateId,
                          int inputIdx,
                          int succId,
                          TP property)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<T,SP,TP>

setTransition

public void setTransition(Integer state,
                          I input,
                          T transition)

Description copied from interface: MutableDeterministic

Sets the transition for the given state and input symbol.

Specified by:

setTransition in interface MutableDeterministic<Integer,I,T,SP,TP>

Parameters:

state - the source state

input - the triggering input symbol

transition - the transition

setTransition

public void setTransition(int state,
                          I input,
                          T trans)

Specified by:

setTransition in interface MutableDeterministic.StateIntAbstraction<I,T,SP,TP>

setTransition

public void setTransition(int stateId,
                          I input,
                          int succId,
                          TP property)

Specified by:

setTransition in interface MutableDeterministic.StateIntAbstraction<I,T,SP,TP>

getId

protected static int getId(Integer id)

setInitialState

public void setInitialState(Integer state)

Description copied from interface: MutableDeterministic

Sets the initial state to the given state. If the current initial state should be unset, null can be passed.

Specified by:

setInitialState in interface MutableDeterministic<Integer,I,T,SP,TP>

Parameters:

state - the new initial state, or null.

setInitialState

public void setInitialState(int stateId)

Specified by:

setInitialState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

fullIntAbstraction

public MutableDeterministic.FullIntAbstraction<T,SP,TP> fullIntAbstraction(Alphabet<I> alphabet)

Description copied from interface: SimpleDeterministicAutomaton

Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.

This method is provided for convenience. It is equivalent to calling fullIntAbstraction(alphabet.size(), alphabet).

Specified by:

fullIntAbstraction in interface DeterministicAutomaton<Integer,I,T>

Specified by:

fullIntAbstraction in interface MutableDeterministic<Integer,I,T,SP,TP>

Specified by:

fullIntAbstraction in interface SimpleDeterministicAutomaton<Integer,I>

Specified by:

fullIntAbstraction in interface UniversalDeterministicAutomaton<Integer,I,T,SP,TP>

Parameters:

alphabet - the alphabet inducing the abstraction

Returns:

a SimpleDeterministicAutomaton.FullIntAbstraction

fullIntAbstraction

public MutableDeterministic.FullIntAbstraction<T,SP,TP> fullIntAbstraction()

stateIntAbstraction

public MutableDeterministic.StateIntAbstraction<I,T,SP,TP> stateIntAbstraction()

Description copied from interface: SimpleDeterministicAutomaton

Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.

Specified by:

stateIntAbstraction in interface DeterministicAutomaton<Integer,I,T>

Specified by:

stateIntAbstraction in interface MutableDeterministic<Integer,I,T,SP,TP>

Specified by:

stateIntAbstraction in interface SimpleDeterministicAutomaton<Integer,I>

Specified by:

stateIntAbstraction in interface UniversalDeterministicAutomaton<Integer,I,T,SP,TP>

Returns:

a SimpleDeterministicAutomaton.StateIntAbstraction

getSuccessor

public final Integer getSuccessor(T transition)

Description copied from interface: TransitionSystem

Retrieves the successor state of a given transition.

Specified by:

getSuccessor in interface TransitionSystem<Integer,I,T>

Parameters:

transition - the transition.

Returns:

the successor state.

makeId

protected static Integer makeId(int id)

getStates

public Collection<Integer> getStates()

Description copied from interface: SimpleAutomaton

Retrieves all states of the transition system. Implementing classes should return an unmodifiable collection

Specified by:

getStates in interface SimpleAutomaton<Integer,I>

Returns:

all states in the transition system

stateIDs

public StateIDs<Integer> stateIDs()

Specified by:

stateIDs in interface SimpleAutomaton<Integer,I>

size

public int size()

Description copied from interface: SimpleAutomaton

Retrieves the size (number of states) of this transition system.

Specified by:

size in interface SimpleAutomaton<Integer,I>

Specified by:

size in interface SimpleDeterministicAutomaton.IntAbstraction

Returns:

the number of states of this transition system

getStateId

public int getStateId(Integer state)

Specified by:

getStateId in interface StateIDs<Integer>

getState

public Integer getState(int id)

Specified by:

getState in interface StateIDs<Integer>

getIntInitialState

public int getIntInitialState()

Description copied from interface: SimpleDeterministicAutomaton.IntAbstraction

Retrieves the initial state of the (abstracted) automaton as an integer. If the automaton has no initial state, SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE is returned.

Specified by:

getIntInitialState in interface SimpleDeterministicAutomaton.IntAbstraction

Returns:

the integer representing the initial state, or SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE.

getInitialState

public Integer getInitialState()

Description copied from interface: SimpleDTS

Retrieves the initial state of this transition system.

Specified by:

getInitialState in interface SimpleDTS<Integer,I>

Returns:

the initial state.

See Also:

SimpleTS.getInitialStates()

addIntState

public int addIntState()

Specified by:

addIntState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

addIntState

public int addIntState(SP property)

Specified by:

addIntState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

addIntInitialState

public int addIntInitialState()

Specified by:

addIntInitialState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

addIntInitialState

public int addIntInitialState(SP property)

Specified by:

addIntInitialState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

createState

protected final int createState()

setStateProperty

public void setStateProperty(Integer state,
                             SP property)

Specified by:

setStateProperty in interface MutableAutomaton<Integer,I,T,SP,TP>

setStateProperty

public abstract void setStateProperty(int state,
                                      SP property)

Specified by:

setStateProperty in interface MutableDeterministic.IntAbstraction<T,SP,TP>

ensureCapacity

public final void ensureCapacity(int newCapacity)

ensureCapacity

protected void ensureCapacity()

getTransition

public T getTransition(int stateId,
                       I input)

Description copied from interface: DeterministicAutomaton.StateIntAbstraction

Retrieves the outgoing transition for an (abstracted) source state and input symbol, or returns null if the automaton has no transition for this state and input.

Specified by:

getTransition in interface DeterministicAutomaton.StateIntAbstraction<I,T>

Parameters:

stateId - the integer representing the source state

input - the input symbol

Returns:

the outgoing transition, or null

getTransition

public T getTransition(int stateId,
                       int inputIdx)

Description copied from interface: DeterministicAutomaton.FullIntAbstraction

Retrieves the outgoing transition for an (abstracted) source state and (abstracted) input symbol, or returns null if the automaton has no transition for this state and input.

Specified by:

getTransition in interface DeterministicAutomaton.FullIntAbstraction<T>

Parameters:

stateId - the integer representing the source state

inputIdx - the integer representing the input symbol

Returns:

the outgoing transition, or null

getTransition

public T getTransition(Integer state,
                       I input)

Description copied from interface: DeterministicTransitionSystem

Retrieves the transition triggered by the given input symbol.

Specified by:

getTransition in interface DeterministicTransitionSystem<Integer,I,T>

Parameters:

state - the source state.

input - the input symbol.

Returns:

the transition triggered by the given input symbol, or null if no transition is triggered.

See Also:

TransitionSystem.getTransitions(Object, Object)

getStateProperty

public SP getStateProperty(Integer state)

Description copied from interface: UniversalTransitionSystem

Retrieves the state property for the given state.

Specified by:

getStateProperty in interface UniversalTransitionSystem<Integer,I,T,SP,TP>

Parameters:

state - the state.

Returns:

the corresponding property.

getStateProperty

public abstract SP getStateProperty(int stateId)

Description copied from interface: UniversalDeterministicAutomaton.IntAbstraction

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

Specified by:

getStateProperty in interface UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>

Parameters:

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

Returns:

the property for the given state

clear

public void clear()

Description copied from interface: MutableAutomaton

Removes all states and transitions.

Specified by:

clear in interface MutableAutomaton<Integer,I,T,SP,TP>

addState

public Integer addState(SP property)

Description copied from interface: MutableAutomaton

Adds a state to the automaton.

Specified by:

addState in interface MutableAutomaton<Integer,I,T,SP,TP>

removeAllTransitions

public void removeAllTransitions(Integer state)

Specified by:

removeAllTransitions in interface MutableAutomaton<Integer,I,T,SP,TP>

createTransition

public T createTransition(Integer succ,
                          TP property)

Specified by:

createTransition in interface MutableAutomaton<Integer,I,T,SP,TP>

createTransition

public abstract T createTransition(int succId,
                                   TP property)

Specified by:

createTransition in interface MutableDeterministic.IntAbstraction<T,SP,TP>

copyTransition

public T copyTransition(T trans,
                        Integer succ)

Specified by:

copyTransition in interface MutableAutomaton<Integer,I,T,SP,TP>

copyTransition

public abstract T copyTransition(T trans,
                                 int succId)

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

numInputs

public int numInputs()

Description copied from interface: SimpleDeterministicAutomaton.FullIntAbstraction

Retrieves the number of input symbols. This determines the valid range of input symbols, which is [0, numInputs() - 1].

Specified by:

numInputs in interface SimpleDeterministicAutomaton.FullIntAbstraction

Returns:

the number of input symbols

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Description copied from interface: GrowableAlphabetAutomaton

Adds a new symbol to the alphabet of the automaton. Behavior depends on the implementation:

• Duplicate symbols may: be handled accordingly, be ignored or result in an error.
• After a new symbol has been added the new transitions do not have to be defined.

Specified by:

addAlphabetSymbol in interface GrowableAlphabetAutomaton<I>

Parameters:

symbol - The symbol to add to the alphabet.