net.automatalib.automata.base.fast

Class AbstractFastMutableDet<S extends AbstractFastDetState<S,T>,I,T,SP,TP>

java.lang.Object

net.automatalib.automata.base.fast.AbstractFastMutableDet<S,I,T,SP,TP>

All Implemented Interfaces:

Serializable, Iterable<S>, Automaton<S,I,T>, InputAlphabetHolder<I>, StateIDs<S>, DeterministicAutomaton<S,I,T>, FiniteAlphabetAutomaton<S,I,T>, GrowableAlphabetAutomaton<I>, MutableAutomaton<S,I,T,SP,TP>, MutableDeterministic<S,I,T,SP,TP>, ShrinkableAutomaton<S,I,T,SP,TP>, ShrinkableDeterministic<S,I,T,SP,TP>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, UniversalAutomaton<S,I,T,SP,TP>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>, GraphViewable, DeterministicTransitionSystem<S,I,T>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalDTS<S,I,T,SP,TP>, UniversalTransitionSystem<S,I,T,SP,TP>

Direct Known Subclasses:

FastDFA, FastMealy, FastMoore

public abstract class AbstractFastMutableDet<S extends AbstractFastDetState<S,T>,I,T,SP,TP>
extends Object
implements ShrinkableDeterministic<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>, StateIDs<S>, 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>

Field Summary

Fields

Modifier and Type	Field and Description
protected Alphabet<I>	inputAlphabet

Constructor Summary

Constructors

Constructor and Description
AbstractFastMutableDet(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol) Adds a new symbol to the alphabet of the automaton.
S	addState(SP property) Adds a state to the automaton.
void	clear() Removes all states and transitions.
<V> MutableMapping<S,V>	createDynamicStateMapping() Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
protected abstract S	createState(SP property)
<V> MutableMapping<S,V>	createStaticStateMapping() Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
S	getInitialState() Retrieves the initial state of this transition system.
Alphabet<I>	getInputAlphabet()
S	getState(int id)
int	getStateId(S state)
Collection<S>	getStates() Retrieves all states of the transition system.
T	getTransition(S state, I input) Retrieves the transition triggered by the given input symbol.
DeterministicPowersetView<S,I,T>	powersetView() Retrieves a "powerset view" of this transition system.
void	removeAllTransitions(S state)
void	removeState(S state, S replacement) Removes a state from the automaton.
void	setInitialState(S state) Sets the initial state to the given state.
void	setTransition(S state, I input, T transition) Sets the transition for the given state and input symbol.
StateIDs<S>	stateIDs()

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, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setTransition, setTransitions, stateIntAbstraction

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.ShrinkableAutomaton

removeState, unlinkState

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addTransition, addTransitions, copyTransition, createTransition, setStateProperty, setTransitionProperty

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

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

iterator, size

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor

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

getSuccessors

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

Field Detail

inputAlphabet

protected Alphabet<I> inputAlphabet

Constructor Detail

AbstractFastMutableDet

public AbstractFastMutableDet(Alphabet<I> inputAlphabet)

Method Detail

getStateId

public int getStateId(S state)

Specified by:

getStateId in interface StateIDs<S extends AbstractFastDetState<S,T>>

getState

public S getState(int id)

Specified by:

getState in interface StateIDs<S extends AbstractFastDetState<S,T>>

setTransition

public void setTransition(S 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<S extends AbstractFastDetState<S,T>,I,T,SP,TP>

Parameters:

state - the source state

input - the triggering input symbol

transition - the transition

getInitialState

public S getInitialState()

Description copied from interface: SimpleDTS

Retrieves the initial state of this transition system.

Specified by:

getInitialState in interface SimpleDTS<S extends AbstractFastDetState<S,T>,I>

Returns:

the initial state.

See Also:

SimpleTS.getInitialStates()

setInitialState

public void setInitialState(S 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<S extends AbstractFastDetState<S,T>,I,T,SP,TP>

Parameters:

state - the new initial state, or null.

getTransition

public T getTransition(S state,
                       I input)

Description copied from interface: DeterministicTransitionSystem

Retrieves the transition triggered by the given input symbol.

Specified by:

getTransition in interface DeterministicTransitionSystem<S extends AbstractFastDetState<S,T>,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)

clear

public void clear()

Description copied from interface: MutableAutomaton

Removes all states and transitions.

Specified by:

clear in interface MutableAutomaton<S extends AbstractFastDetState<S,T>,I,T,SP,TP>

addState

public S addState(SP property)

Description copied from interface: MutableAutomaton

Adds a state to the automaton.

Specified by:

addState in interface MutableAutomaton<S extends AbstractFastDetState<S,T>,I,T,SP,TP>

removeAllTransitions

public void removeAllTransitions(S state)

Specified by:

removeAllTransitions in interface MutableAutomaton<S extends AbstractFastDetState<S,T>,I,T,SP,TP>

createState

protected abstract S createState(SP property)

removeState

public void removeState(S state,
                        S replacement)

Description copied from interface: ShrinkableAutomaton

Removes a state from the automaton. All ingoing transitions to this state are redirected to the given replacement state. If a null replacement is given, then this method behaves like the above ShrinkableAutomaton.removeState(Object).

Specified by:

removeState in interface ShrinkableAutomaton<S extends AbstractFastDetState<S,T>,I,T,SP,TP>

Parameters:

state - the state to remove

replacement - the replacement state, or null

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

createDynamicStateMapping

public <V> MutableMapping<S,V> createDynamicStateMapping()

Description copied from interface: SimpleTS

Creates a MutableMapping allowing to associate arbitrary data with this transition system's states. The returned mapping maintains the association even when the transition system is modified.

Specified by:

createDynamicStateMapping in interface SimpleTS<S extends AbstractFastDetState<S,T>,I>

Returns:

the mutable mapping

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.

getStates

public Collection<S> 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<S extends AbstractFastDetState<S,T>,I>

Returns:

all states in the transition system

createStaticStateMapping

public <V> MutableMapping<S,V> createStaticStateMapping()

Description copied from interface: SimpleTS

Creates a MutableMapping allowing to associate arbitrary data with this transition system's states. The returned mapping is however only guaranteed to work correctly if the transition system is not modified.

Specified by:

createStaticStateMapping in interface SimpleAutomaton<S extends AbstractFastDetState<S,T>,I>

Specified by:

createStaticStateMapping in interface SimpleTS<S extends AbstractFastDetState<S,T>,I>

Returns:

the mutable mapping

stateIDs

public StateIDs<S> stateIDs()

Specified by:

stateIDs in interface SimpleAutomaton<S extends AbstractFastDetState<S,T>,I>

powersetView

public DeterministicPowersetView<S,I,T> powersetView()

Description copied from interface: TransitionSystem

Retrieves a "powerset view" of this transition system.

Specified by:

powersetView in interface TransitionSystem<S extends AbstractFastDetState<S,T>,I,T>

Returns:

a powerset view of this transition system.