net.automatalib.automata

Interface MutableAutomaton<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>, Iterable<S>, SimpleAutomaton<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalAutomaton<S,I,T,SP,TP>, UniversalTransitionSystem<S,I,T,SP,TP>

All Known Subinterfaces:

MutableDeterministic<S,I,T,SP,TP>, MutableDFA<S,I>, MutableFSA<S,I>, MutableMealyMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>, MutableNFA<S,I>, MutableProbabilisticMealy<S,I,T,O>, ShrinkableAutomaton<S,I,T,SP,TP>, ShrinkableDeterministic<S,I,T,SP,TP>

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

A mutable automaton. This interface adds support for non-destructive modifications, i.e., adding and modifying states and transitions. If also removal of states and single transitions (from the set of outgoing transitions) should be removed, then ShrinkableAutomaton is the adequate interface.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
default S	addInitialState()
default S	addInitialState(SP property)
default S	addState()
S	addState(SP property) Adds a state to the automaton.
default T	addTransition(S state, I input, S successor, TP properties)
default void	addTransition(S state, I input, T transition)
default void	addTransitions(S state, I input, Collection<? extends T> transitions)
void	clear() Removes all states and transitions.
default T	copyTransition(T trans, S succ)
T	createTransition(S successor, TP properties)
void	removeAllTransitions(S state)
default void	removeAllTransitions(S state, I input)
default void	removeTransition(S state, I input, T transition)
void	setInitial(S state, boolean initial)
void	setStateProperty(S state, SP property)
void	setTransitionProperty(T transition, TP property)
void	setTransitions(S state, I input, Collection<? extends T> transitions)

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

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

createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors

Method Detail

clear

void clear()

Removes all states and transitions.

addState

@Nonnull
default S addState()

addState

@Nonnull
S addState(@Nullable
                    SP property)

Adds a state to the automaton.

addInitialState

@Nonnull
default S addInitialState()

addInitialState

@Nonnull
default S addInitialState(@Nullable
                                   SP property)

setInitial

void setInitial(S state,
                boolean initial)

setStateProperty

void setStateProperty(S state,
                      @Nullable
                      SP property)

setTransitionProperty

void setTransitionProperty(T transition,
                           @Nullable
                           TP property)

addTransitions

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

setTransitions

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

removeTransition

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

removeAllTransitions

default void removeAllTransitions(S state,
                                  @Nullable
                                  I input)

removeAllTransitions

void removeAllTransitions(S state)

addTransition

@Nonnull
default T addTransition(S state,
                                 @Nullable
                                 I input,
                                 S successor,
                                 @Nullable
                                 TP properties)

addTransition

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

createTransition

@Nonnull
T createTransition(S successor,
                            @Nullable
                            TP properties)

copyTransition

@Nonnull
default T copyTransition(T trans,
                                  S succ)