Package net.automatalib.automaton

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>, FiniteRepresentation, 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>, MutableModalTransitionSystem<S,I,T,TP>, MutableMooreMachine<S,I,T,O>, MutableNFA<S,I>, MutableProbabilisticMealy<S,I,T,O>, MutableSubsequentialTransducer<S,I,T,O>, ShrinkableAutomaton<S,I,T,SP,TP>, ShrinkableDeterministic<S,I,T,SP,TP>

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.

Method Summary

Modifier and Type	Method	Description
default S	addInitialState()
default S	addInitialState(@Nullable SP property)
default S	addState()
S	addState(@Nullable 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 java.lang.Iterable

forEach, spliterator

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

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

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

getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getSuccessors, getTransitions, powersetView

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Method Detail

clear

void clear()

Removes all states and transitions.

addState

default S addState()

addState

S addState(@Nullable SP property)

Adds a state to the automaton.

addInitialState

default S addInitialState()

addInitialState

default S addInitialState(@Nullable SP property)

setInitial

void setInitial(S state,
                boolean initial)

setStateProperty

void setStateProperty(S state,
                      SP property)

setTransitionProperty

void setTransitionProperty(T transition,
                           TP property)

addTransitions

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

setTransitions

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

removeTransition

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

removeAllTransitions

default void removeAllTransitions(S state,
                                  I input)

removeAllTransitions

void removeAllTransitions(S state)

addTransition

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

addTransition

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

createTransition

T createTransition(S successor,
                   TP properties)

copyTransition

default T copyTransition(T trans,
                         S succ)