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>

All Known Implementing Classes:

AbstractCompactDeterministic, AbstractCompactSimpleDet, AbstractMutableAutomaton, AbstractMutableDeterministic, AbstractMutableDFA, AbstractMutableFSA, AbstractMutableNFA, AbstractShrinkableAutomaton, AbstractShrinkableDeterministic, CompactDFA, CompactMealy, FastDFA, FastMealy, FastMoore, FastMutableDet, FastMutableNondet, FastNFA, FastProbMealy, UniversalCompactSimpleDet

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
S	addInitialState()
S	addInitialState(SP property)
S	addState()
S	addState(SP property) Adds a state to the automaton.
T	addTransition(S state, I input, S successor, TP properties)
void	addTransition(S state, I input, T transition)
void	addTransitions(S state, I input, Collection<? extends T> transitions)
void	clear() Removes all states and transitions.
T	copyTransition(T trans, S succ)
T	createTransition(S successor, TP properties)
void	removeAllTransitions(S state)
void	removeAllTransitions(S state, I input)
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.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Method Detail

clear

void clear()

Removes all states and transitions.

addState

S addState(SP property)

Adds a state to the automaton.

Parameters:

property -

Returns:

addInitialState

S addInitialState(SP property)

addState

S addState()

addInitialState

S addInitialState()

setInitial

void setInitial(S state,
                boolean initial)

setStateProperty

void setStateProperty(S state,
                      SP property)

setTransitionProperty

void setTransitionProperty(T transition,
                           TP property)

createTransition

T createTransition(S successor,
                   TP properties)

addTransition

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

addTransitions

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

setTransitions

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

removeTransition

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

removeAllTransitions

void removeAllTransitions(S state,
                          I input)

removeAllTransitions

void removeAllTransitions(S state)

addTransition

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

copyTransition

T copyTransition(T trans,
                 S succ)