net.automatalib.automata.abstractimpl

Class AbstractMutableAutomaton<S,I,T,SP,TP>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractAutomaton<S,I,T>

net.automatalib.automata.abstractimpl.AbstractMutableAutomaton<S,I,T,SP,TP>

Type Parameters:

S - state class

I - input symbol class

T - transition class

SP - state property class

TP - transition property class

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,T>, MutableAutomaton<S,I,T,SP,TP>, SimpleAutomaton<S,I>, UniversalAutomaton<S,I,T,SP,TP>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalTransitionSystem<S,I,T,SP,TP>

Direct Known Subclasses:

AbstractMutableFSA, AbstractMutableNFA, AbstractShrinkableAutomaton

public abstract class AbstractMutableAutomaton<S,I,T,SP,TP>
extends AbstractAutomaton<S,I,T>
implements MutableAutomaton<S,I,T,SP,TP>

Abstract base class for mutable automata.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
AbstractMutableAutomaton()

Method Summary

Methods

Modifier and Type	Method and Description
S	addInitialState()
static <S,I,T,SP,TP> S	addInitialState(MutableAutomaton<S,I,T,SP,TP> $this) Provides a realization of MutableAutomaton.addInitialState() using MutableAutomaton.addInitialState(Object).
static <S,I,T,SP,TP> S	addInitialState(MutableAutomaton<S,I,T,SP,TP> $this, SP property) Provides a realization of MutableAutomaton.addInitialState(Object) using MutableAutomaton.addState(Object) and MutableAutomaton.setInitial(Object, boolean).
S	addInitialState(SP property)
S	addState()
static <S,I,T,SP,TP> S	addState(MutableAutomaton<S,I,T,SP,TP> $this) Provides a realization of MutableAutomaton.addState() using MutableAutomaton.addState(Object).
static <S,I,T,SP,TP> T	addTransition(MutableAutomaton<S,I,T,SP,TP> $this, S state, I input, S succ, TP property) Provides a realization of MutableAutomaton.addTransition(Object, Object, Object, Object) using MutableAutomaton.createTransition(Object, Object) and MutableAutomaton.addTransition(Object, Object, Object).
static <S,I,T,SP,TP> void	addTransition(MutableAutomaton<S,I,T,SP,TP> $this, S state, I input, T transition) Provides a realization of MutableAutomaton.addTransition(Object, Object, Object) using TransitionSystem.getTransitions(Object, Object) and MutableAutomaton.setTransitions(Object, Object, java.util.Collection).
T	addTransition(S state, I input, S successor, TP properties)
void	addTransition(S state, I input, T transition)
static <S,I,T,SP,TP> void	addTransitions(MutableAutomaton<S,I,T,SP,TP> $this, S state, I input, Collection<? extends T> transitions)
void	addTransitions(S state, I input, Collection<? extends T> transitions)
static <S,I,T,SP,TP> void	removeAllTransitions(MutableAutomaton<S,I,T,SP,TP> $this, S state, I input) Provides a realization of MutableAutomaton.removeAllTransitions(Object, Object) using MutableAutomaton.setTransitions(Object, Object, java.util.Collection)
void	removeAllTransitions(S state, I input)
static <S,I,T,SP,TP> void	removeTransition(MutableAutomaton<S,I,T,SP,TP> $this, S state, I input, T transition) Provides a realization of MutableAutomaton.removeTransition(Object, Object, Object) using TransitionSystem.getTransitions(Object, Object) and MutableAutomaton.setTransitions(Object, Object, java.util.Collection)
void	removeTransition(S state, I input, T transition)

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractAutomaton

iterator, iterator, size, size, stateIDs, stateIDs

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addState, clear, copyTransition, createTransition, removeAllTransitions, setInitial, setStateProperty, setTransitionProperty, setTransitions

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

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

iterator

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

Constructor Detail

AbstractMutableAutomaton

public AbstractMutableAutomaton()

Method Detail

addInitialState

public static <S,I,T,SP,TP> S addInitialState(MutableAutomaton<S,I,T,SP,TP> $this,
                              SP property)

Provides a realization of MutableAutomaton.addInitialState(Object) using MutableAutomaton.addState(Object) and MutableAutomaton.setInitial(Object, boolean).

See Also:

MutableAutomaton.addInitialState(Object)

addInitialState

public static <S,I,T,SP,TP> S addInitialState(MutableAutomaton<S,I,T,SP,TP> $this)

Provides a realization of MutableAutomaton.addInitialState() using MutableAutomaton.addInitialState(Object).

See Also:

MutableAutomaton.addInitialState()

addState

public static <S,I,T,SP,TP> S addState(MutableAutomaton<S,I,T,SP,TP> $this)

Provides a realization of MutableAutomaton.addState() using MutableAutomaton.addState(Object).

See Also:

MutableAutomaton.addState()

addTransition

public static <S,I,T,SP,TP> void addTransition(MutableAutomaton<S,I,T,SP,TP> $this,
                               S state,
                               I input,
                               T transition)

Provides a realization of MutableAutomaton.addTransition(Object, Object, Object) using TransitionSystem.getTransitions(Object, Object) and MutableAutomaton.setTransitions(Object, Object, java.util.Collection).

See Also:

MutableAutomaton.addTransition(Object, Object, Object)

addTransitions

public static <S,I,T,SP,TP> void addTransitions(MutableAutomaton<S,I,T,SP,TP> $this,
                                S state,
                                I input,
                                Collection<? extends T> transitions)

addTransition

public static <S,I,T,SP,TP> T addTransition(MutableAutomaton<S,I,T,SP,TP> $this,
                            S state,
                            I input,
                            S succ,
                            TP property)

Provides a realization of MutableAutomaton.addTransition(Object, Object, Object, Object) using MutableAutomaton.createTransition(Object, Object) and MutableAutomaton.addTransition(Object, Object, Object).

See Also:

MutableAutomaton.addTransition(Object, Object, Object, Object)

removeTransition

public static <S,I,T,SP,TP> void removeTransition(MutableAutomaton<S,I,T,SP,TP> $this,
                                  S state,
                                  I input,
                                  T transition)

Provides a realization of MutableAutomaton.removeTransition(Object, Object, Object) using TransitionSystem.getTransitions(Object, Object) and MutableAutomaton.setTransitions(Object, Object, java.util.Collection)

See Also:

MutableAutomaton.removeTransition(Object, Object, Object)

removeAllTransitions

public static <S,I,T,SP,TP> void removeAllTransitions(MutableAutomaton<S,I,T,SP,TP> $this,
                                      S state,
                                      I input)

Provides a realization of MutableAutomaton.removeAllTransitions(Object, Object) using MutableAutomaton.setTransitions(Object, Object, java.util.Collection)

removeTransition

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

Specified by:

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

removeAllTransitions

public void removeAllTransitions(S state,
                        I input)

Specified by:

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

addTransition

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

Specified by:

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

addTransitions

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

Specified by:

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

addTransition

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

Specified by:

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

addInitialState

public S addInitialState(SP property)

Specified by:

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

addState

public S addState()

Specified by:

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

addInitialState

public S addInitialState()

Specified by:

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