Package net.automatalib.automaton.base

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

java.lang.Object

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

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

All Implemented Interfaces:

Iterable<S>, SupportsGrowingAlphabet<I>, Automaton<S,I,T>, FiniteRepresentation, InputAlphabetHolder<I>, StateIDs<S>, StateLocalInput<S,I>, DeterministicAutomaton<S,I,T>, FiniteAlphabetAutomaton<S,I,T>, 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 AbstractFastState<T>,I,T,SP,TP>
extends AbstractFastMutable<S,I,T,SP,TP>
implements ShrinkableDeterministic<S,I,T,SP,TP>

Nested Class Summary

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

inputAlphabet

Constructor Summary

Constructors

Constructor	Description
AbstractFastMutableDet(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method	Description
void	clear()	Removes all states and transitions.
@Nullable S	getInitialState()	Retrieves the initial state of this transition system.
Collection<I>	getLocalInputs(S state)	Returns the collection of input symbols for which a successor state is defined.
@Nullable 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	removeState(S state, @Nullable S replacement)	Removes a state from the automaton.
void	setInitialState(@Nullable S state)	Sets the initial state to the given state.
void	setTransition(S state, I input, @Nullable T transition)	Sets the transition for the given state and input symbol.

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

addAlphabetSymbol, addState, createDynamicStateMapping, createState, getInputAlphabet, getState, getStateId, getStates, removeAllTransitions, 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.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, createTransition, removeAllTransitions, setStateProperty, setTransitionProperty

Methods inherited from interface net.automatalib.automaton.MutableDeterministic

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

Methods inherited from interface net.automatalib.automaton.ShrinkableAutomaton

removeState

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

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors

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

getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Constructor Detail

AbstractFastMutableDet

public AbstractFastMutableDet(Alphabet<I> inputAlphabet)

Method Detail

setTransition

public void setTransition(S state,
                          I input,
                          @Nullable 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 AbstractFastState<T>,I,T,SP,TP>

Parameters:

state - the source state

input - the triggering input symbol

transition - the transition

getInitialState

public @Nullable S getInitialState()

Description copied from interface: SimpleDTS

Retrieves the initial state of this transition system.

Specified by:

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

Returns:

the initial state.

See Also:

SimpleTS.getInitialStates()

setInitialState

public void setInitialState(@Nullable 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 AbstractFastState<T>,I,T,SP,TP>

Parameters:

state - the new initial state, or null.

getTransition

public @Nullable 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 AbstractFastState<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)

removeState

public void removeState(S state,
                        @Nullable 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 AbstractFastState<T>,I,T,SP,TP>

Overrides:

removeState in class AbstractFastMutable<S extends AbstractFastState<T>,I,T,SP,TP>

Parameters:

state - the state to remove

replacement - the replacement state, or null

clear

public void clear()

Description copied from interface: MutableAutomaton

Removes all states and transitions.

Specified by:

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

Overrides:

clear in class AbstractFastMutable<S extends AbstractFastState<T>,I,T,SP,TP>

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 AbstractFastState<T>,I,T>

Returns:

a powerset view of this transition system.

getLocalInputs

public Collection<I> getLocalInputs(S state)

Description copied from interface: StateLocalInput

Returns the collection of input symbols for which a successor state is defined.

Specified by:

getLocalInputs in interface StateLocalInput<S extends AbstractFastState<T>,I>

Parameters:

state - the state for which the defined inputs should be returned

Returns:

the collection of input symbols for which a successor state is defined.