net.automatalib.automata

Interface MutableDeterministic<S,I,T,SP,TP>

Type Parameters:

S - state class.

I - input symbol class.

T - transition class.

SP - state property.

TP - transition property.

All Superinterfaces:

Automaton<S,I,T>, DeterministicAutomaton<S,I,T>, DeterministicTransitionSystem<S,I,T>, Iterable<S>, MutableAutomaton<S,I,T,SP,TP>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalAutomaton<S,I,T,SP,TP>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, UniversalDTS<S,I,T,SP,TP>, UniversalTransitionSystem<S,I,T,SP,TP>

All Known Subinterfaces:

MutableDFA<S,I>, MutableMealyMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>, ShrinkableDeterministic<S,I,T,SP,TP>

@ParametersAreNonnullByDefault
public interface MutableDeterministic<S,I,T,SP,TP>
extends UniversalDeterministicAutomaton<S,I,T,SP,TP>, MutableAutomaton<S,I,T,SP,TP>

Interface for a mutable deterministic automaton.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	MutableDeterministic.FullIntAbstraction<T,SP,TP>
static interface	MutableDeterministic.IntAbstraction<T,SP,TP>
static interface	MutableDeterministic.StateIntAbstraction<I,T,SP,TP>

Method Summary

Modifier and Type	Method and Description
default void	addTransition(S state, I input, T transition)
default 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.
default MutableDeterministic.FullIntAbstraction<T,SP,TP>	fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping) Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.
default void	removeAllTransitions(S state, I input)
default void	removeTransition(S state, I input, T transition)
default void	setInitial(S state, boolean initial)
void	setInitialState(S state) Sets the initial state to the given state.
default void	setTransition(S state, I input, S successor, TP property) Sets the transition for the given state and input symbol to a newly created one.
void	setTransition(S state, I input, T transition) Sets the transition for the given state and input symbol.
default void	setTransitions(S state, I input, Collection<? extends T> transitions)
default MutableDeterministic.StateIntAbstraction<I,T,SP,TP>	stateIntAbstraction() Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.automata.MutableAutomaton

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

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

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

createStaticStateMapping, getStates, iterator, size, stateIDs

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, powersetView

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

createDynamicStateMapping, getSuccessors

Method Detail

setInitial

default void setInitial(S state,
                        boolean initial)

Specified by:

setInitial in interface MutableAutomaton<S,I,T,SP,TP>

setTransitions

default void setTransitions(S state,
                            I input,
                            Collection<? extends T> transitions)

Specified by:

setTransitions in interface MutableAutomaton<S,I,T,SP,TP>

removeTransition

default void removeTransition(S state,
                              I input,
                              T transition)

Specified by:

removeTransition in interface MutableAutomaton<S,I,T,SP,TP>

removeAllTransitions

default void removeAllTransitions(S state,
                                  I input)

Specified by:

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

addTransition

default void addTransition(S state,
                           I input,
                           T transition)

Specified by:

addTransition in interface MutableAutomaton<S,I,T,SP,TP>

setInitialState

void setInitialState(@Nullable
                     S state)

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

Parameters:

state - the new initial state, or null.

setTransition

void setTransition(S state,
                   @Nullable
                   I input,
                   @Nullable
                   T transition)

Sets the transition for the given state and input symbol.

Parameters:

state - the source state

input - the triggering input symbol

transition - the transition

setTransition

default void setTransition(S state,
                           @Nullable
                           I input,
                           @Nullable
                           S successor,
                           @Nullable
                           TP property)

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

Parameters:

state - the source state

input - the triggering input symbol

successor - the target state

property - the transition's property

fullIntAbstraction

default 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<S,I,T>

Specified by:

fullIntAbstraction in interface SimpleDeterministicAutomaton<S,I>

Specified by:

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

Parameters:

alphabet - the alphabet inducing the abstraction

Returns:

a SimpleDeterministicAutomaton.FullIntAbstraction

fullIntAbstraction

default MutableDeterministic.FullIntAbstraction<T,SP,TP> fullIntAbstraction(int numInputs,
                                                                            IntFunction<? extends I> symMapping)

Description copied from interface: SimpleDeterministicAutomaton

Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.

Specified by:

fullIntAbstraction in interface DeterministicAutomaton<S,I,T>

Specified by:

fullIntAbstraction in interface SimpleDeterministicAutomaton<S,I>

Specified by:

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

Parameters:

numInputs - the number of inputs represented in the full abstraction

symMapping - the mapping from integers in the range [0, numInputs - 1] to input symbols.

Returns:

a SimpleDeterministicAutomaton.FullIntAbstraction

stateIntAbstraction

default 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<S,I,T>

Specified by:

stateIntAbstraction in interface SimpleDeterministicAutomaton<S,I>

Specified by:

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

Returns:

a SimpleDeterministicAutomaton.StateIntAbstraction