net.automatalib.automata.base.compact

Class AbstractCompactSimpleDet<I,SP>

java.lang.Object

net.automatalib.automata.base.compact.AbstractCompactSimpleDet<I,SP>

All Implemented Interfaces:

Serializable, Iterable<Integer>, Automaton<Integer,I,Integer>, InputAlphabetHolder<I>, StateIDs<Integer>, DeterministicAutomaton<Integer,I,Integer>, DeterministicAutomaton.FullIntAbstraction<Integer>, DeterministicAutomaton.IntAbstraction<Integer>, DeterministicAutomaton.StateIntAbstraction<I,Integer>, FiniteAlphabetAutomaton<Integer,I,Integer>, GrowableAlphabetAutomaton<I>, 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:

CompactDFA, UniversalCompactSimpleDet

public abstract class AbstractCompactSimpleDet<I,SP>
extends Object
implements MutableDeterministic<Integer,I,Integer,SP,Void>, UniversalFiniteAlphabetAutomaton<Integer,I,Integer,SP,Void>, StateIDs<Integer>, MutableDeterministic.StateIntAbstraction<I,Integer,SP,Void>, MutableDeterministic.FullIntAbstraction<Integer,SP,Void>, 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 int[]	transitions

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

INVALID_STATE

Constructor Summary

Constructors

Modifier	Constructor and Description
	AbstractCompactSimpleDet(Alphabet<I> alphabet)
protected	AbstractCompactSimpleDet(Alphabet<I> alphabet, AbstractCompactSimpleDet<?,?> other)
	AbstractCompactSimpleDet(Alphabet<I> alphabet, float resizeFactor)
	AbstractCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity)
	AbstractCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
protected	AbstractCompactSimpleDet(Alphabet<I> alphabet, int numStates, int initial, int[] transitions, 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.
Integer	copyTransition(Integer trans, Integer succ)
Integer	createTransition(Integer successor, Void properties)
Integer	createTransition(int successor, Void property)
void	ensureCapacity(int newCapacity)
protected void	ensureCapacity(int oldCap, int newCap)
MutableDeterministic.FullIntAbstraction<Integer,SP,Void>	fullIntAbstraction()
MutableDeterministic.FullIntAbstraction<Integer,SP,Void>	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.
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.
int	getIntState(Iterable<? extends I> input)
int	getIntSuccessor(Integer transition) Retrieves the (abstracted) successor of a transition object.
int	getIntSuccessor(int state, I input)
int	getIntSuccessor(int state, Iterable<? extends I> input)
int	getIntTransition(int state, I input)
int	getIntTransition(int state, int input)
Integer	getState(int id)
Integer	getState(Iterable<? extends I> input) Retrieves the state reachable by the given sequence of input symbols from the initial state.
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(Integer transition) Retrieves the successor state of a given transition.
Integer	getSuccessor(Integer state, Iterable<? extends I> input) Retrieves the successor state reachable by the given sequence of input symbols.
int	getSuccessor(int state, I input) Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.
int	getSuccessor(int state, int input) Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.
Integer	getTransition(Integer state, I input) Retrieves the transition triggered by the given input symbol.
Integer	getTransition(int state, 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.
Integer	getTransition(int state, int input) 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.
Void	getTransitionProperty(Integer transition) Retrieves the transition property for the given state.
protected abstract void	initState(int stateId, SP property)
int	numInputs() Retrieves the number of input symbols.
DeterministicPowersetView<Integer,I,Integer>	powersetView() Retrieves a "powerset view" of this transition system.
void	removeAllTransitions(int state)
void	removeAllTransitions(Integer state)
void	setInitialState(int state)
void	setInitialState(Integer state) Sets the initial state to the given state.
void	setStateProperty(Integer state, SP property)
abstract void	setStateProperty(int stateId, SP property)
void	setTransition(Integer state, I input, Integer transition) Sets the transition for the given state and input symbol.
void	setTransition(Integer state, I input, Integer transition, Void property) Sets the transition for the given state and input symbol to a newly created one.
void	setTransition(int state, I input, int succ)
void	setTransition(int state, I input, Integer transition)
void	setTransition(int state, I input, int successor, Void property)
void	setTransition(int state, int inputIdx, int succ)
void	setTransition(int state, int input, Integer transition)
void	setTransition(int state, int input, int successor, Void property)
void	setTransitionProperty(Integer transition, Void property)
int	size() Retrieves the size (number of states) of this transition system.
StateIDs<Integer>	stateIDs()
MutableDeterministic.StateIntAbstraction<I,Integer,SP,Void>	stateIntAbstraction() Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.
protected static int	unwrapState(Integer state)
protected static Integer	wrapState(int id)

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, 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, getStates, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addTransition, addTransitions

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.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.UniversalDeterministicAutomaton.FullIntAbstraction

getTransitionProperty

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 int[] transitions

stateCapacity

protected int stateCapacity

numStates

protected int numStates

initial

protected int initial

Constructor Detail

AbstractCompactSimpleDet

public AbstractCompactSimpleDet(Alphabet<I> alphabet)

AbstractCompactSimpleDet

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

AbstractCompactSimpleDet

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

AbstractCompactSimpleDet

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

AbstractCompactSimpleDet

protected AbstractCompactSimpleDet(Alphabet<I> alphabet,
                                   AbstractCompactSimpleDet<?,?> other)

AbstractCompactSimpleDet

protected AbstractCompactSimpleDet(Alphabet<I> alphabet,
                                   int numStates,
                                   int initial,
                                   int[] transitions,
                                   float resizeFactor)

Method Detail

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

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>

getState

public Integer getState(Iterable<? extends I> input)

Description copied from interface: SimpleDTS

Retrieves the state reachable by the given sequence of input symbols from the initial state.

Specified by:

getState in interface SimpleDTS<Integer,I>

Parameters:

input - the input word.

Returns:

the state reachable by the given input word, or null if no state is reachable by this word.

See Also:

SimpleTS.getStates(Iterable)

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

getSuccessor

public Integer getSuccessor(Integer state,
                            Iterable<? extends I> input)

Description copied from interface: SimpleDTS

Retrieves the successor state reachable by the given sequence of input symbols.

Specified by:

getSuccessor in interface SimpleDTS<Integer,I>

Parameters:

state - the source state.

input - the input symbol.

Returns:

the successor state reachable by the given sequence of input symbols, or null if no state is reachable by this symbol.

See Also:

SimpleTS.getSuccessors(Object, Iterable)

getSuccessor

public Integer getSuccessor(Integer transition)

Description copied from interface: TransitionSystem

Retrieves the successor state of a given transition.

Specified by:

getSuccessor in interface TransitionSystem<Integer,I,Integer>

Parameters:

transition - the transition.

Returns:

the successor state.

getSuccessor

public int getSuccessor(int state,
                        I input)

Description copied from interface: SimpleDeterministicAutomaton.StateIntAbstraction

Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.

Specified by:

getSuccessor in interface DeterministicAutomaton.StateIntAbstraction<I,Integer>

Specified by:

getSuccessor in interface SimpleDeterministicAutomaton.StateIntAbstraction<I>

Parameters:

state - the integer representing the source state

input - the input symbol

Returns:

the integer representing the successor state, or SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE if there is no successor state.

getSuccessor

public int getSuccessor(int state,
                        int input)

Description copied from interface: SimpleDeterministicAutomaton.FullIntAbstraction

Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.

Specified by:

getSuccessor in interface DeterministicAutomaton.FullIntAbstraction<Integer>

Specified by:

getSuccessor in interface SimpleDeterministicAutomaton.FullIntAbstraction

Parameters:

state - the integer representing the source state

input - the integer representing the input symbol

Returns:

the integer representing the target state, or SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE if there is no successor state.

setInitialState

public void setInitialState(int state)

Specified by:

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

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,Integer,SP,Void>

Parameters:

state - the new initial state, or null.

createTransition

public Integer createTransition(int successor,
                                Void property)

Specified by:

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

createTransition

public Integer createTransition(Integer successor,
                                Void properties)

Specified by:

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

addIntState

public int addIntState()

Specified by:

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

addIntState

public int addIntState(SP property)

Specified by:

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

addIntInitialState

public int addIntInitialState()

Specified by:

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

addIntInitialState

public int addIntInitialState(SP property)

Specified by:

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

ensureCapacity

public void ensureCapacity(int newCapacity)

ensureCapacity

protected void ensureCapacity(int oldCap,
                              int newCap)

initState

protected abstract void initState(int stateId,
                                  SP property)

wrapState

protected static Integer wrapState(int id)

getIntState

public int getIntState(Iterable<? extends I> input)

getIntSuccessor

public int getIntSuccessor(int state,
                           Iterable<? extends I> input)

getIntSuccessor

public int getIntSuccessor(Integer transition)

Description copied from interface: DeterministicAutomaton.IntAbstraction

Retrieves the (abstracted) successor of a transition object.

Specified by:

getIntSuccessor in interface DeterministicAutomaton.IntAbstraction<Integer>

Parameters:

transition - the transition object

Returns:

the integer representing the successor of the given transition

getIntSuccessor

public int getIntSuccessor(int state,
                           I input)

getIntTransition

public int getIntTransition(int state,
                            I input)

getIntTransition

public int getIntTransition(int state,
                            int input)

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.

stateIntAbstraction

public MutableDeterministic.StateIntAbstraction<I,Integer,SP,Void> stateIntAbstraction()

Description copied from interface: SimpleDeterministicAutomaton

Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.

Specified by:

stateIntAbstraction in interface DeterministicAutomaton<Integer,I,Integer>

Specified by:

stateIntAbstraction in interface MutableDeterministic<Integer,I,Integer,SP,Void>

Specified by:

stateIntAbstraction in interface SimpleDeterministicAutomaton<Integer,I>

Specified by:

stateIntAbstraction in interface UniversalDeterministicAutomaton<Integer,I,Integer,SP,Void>

Returns:

a SimpleDeterministicAutomaton.StateIntAbstraction

getTransition

public Integer 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,Integer>

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)

getTransition

public Integer getTransition(int state,
                             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,Integer>

Parameters:

state - the integer representing the source state

input - the input symbol

Returns:

the outgoing transition, or null

getTransition

public Integer getTransition(int state,
                             int input)

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<Integer>

Parameters:

state - the integer representing the source state

input - the integer representing the input symbol

Returns:

the outgoing transition, or null

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>

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,Integer,SP,Void>

fullIntAbstraction

public MutableDeterministic.FullIntAbstraction<Integer,SP,Void> 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,Integer>

Specified by:

fullIntAbstraction in interface MutableDeterministic<Integer,I,Integer,SP,Void>

Specified by:

fullIntAbstraction in interface SimpleDeterministicAutomaton<Integer,I>

Specified by:

fullIntAbstraction in interface UniversalDeterministicAutomaton<Integer,I,Integer,SP,Void>

Parameters:

alphabet - the alphabet inducing the abstraction

Returns:

a SimpleDeterministicAutomaton.FullIntAbstraction

fullIntAbstraction

public MutableDeterministic.FullIntAbstraction<Integer,SP,Void> fullIntAbstraction()

setStateProperty

public void setStateProperty(Integer state,
                             SP property)

Specified by:

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

setStateProperty

public abstract void setStateProperty(int stateId,
                                      SP property)

Specified by:

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

setTransitionProperty

public void setTransitionProperty(Integer transition,
                                  Void property)

Specified by:

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

Specified by:

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

removeAllTransitions

public void removeAllTransitions(Integer state)

Specified by:

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

removeAllTransitions

public void removeAllTransitions(int state)

copyTransition

public Integer copyTransition(Integer trans,
                              Integer succ)

Specified by:

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

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,Integer,SP,Void>

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<Integer,SP,Void>

Parameters:

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

Returns:

the property for the given state

getTransitionProperty

public Void getTransitionProperty(Integer transition)

Description copied from interface: UniversalTransitionSystem

Retrieves the transition property for the given state.

Specified by:

getTransitionProperty in interface UniversalDeterministicAutomaton.IntAbstraction<Integer,SP,Void>

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<Integer,I,Integer,SP,Void>

Parameters:

transition - the transition.

Returns:

the corresponding property.

unwrapState

protected static int unwrapState(Integer state)

setTransition

public void setTransition(int state,
                          int input,
                          Integer transition)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<Integer,SP,Void>

setTransition

public void setTransition(int state,
                          int input,
                          int successor,
                          Void property)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<Integer,SP,Void>

setTransition

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

Specified by:

setTransition in interface MutableDeterministic.StateIntAbstraction<I,Integer,SP,Void>

setTransition

public void setTransition(int state,
                          I input,
                          int successor,
                          Void property)

Specified by:

setTransition in interface MutableDeterministic.StateIntAbstraction<I,Integer,SP,Void>

setTransition

public void setTransition(Integer state,
                          I input,
                          Integer transition,
                          Void property)

Description copied from interface: MutableDeterministic

Sets the transition for the given state and input symbol to a newly created one.

Specified by:

setTransition in interface MutableDeterministic<Integer,I,Integer,SP,Void>

Parameters:

state - the source state

input - the triggering input symbol

transition - the target state

property - the transition's property

setTransition

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

Description copied from interface: MutableDeterministic

Sets the transition for the given state and input symbol.

Specified by:

setTransition in interface MutableDeterministic<Integer,I,Integer,SP,Void>

Parameters:

state - the source state

input - the triggering input symbol

transition - the transition

setTransition

public void setTransition(int state,
                          I input,
                          int succ)

setTransition

public void setTransition(int state,
                          int inputIdx,
                          int succ)

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.

powersetView

public DeterministicPowersetView<Integer,I,Integer> powersetView()

Description copied from interface: TransitionSystem

Retrieves a "powerset view" of this transition system.

Specified by:

powersetView in interface TransitionSystem<Integer,I,Integer>

Returns:

a powerset view of this transition system.