net.automatalib.automata.abstractimpl

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

java.lang.Object

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

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

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

net.automatalib.automata.abstractimpl.AbstractMutableDeterministic<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>, DeterministicAutomaton<S,I,T>, MutableAutomaton<S,I,T,SP,TP>, MutableDeterministic<S,I,T,SP,TP>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, UniversalAutomaton<S,I,T,SP,TP>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, DeterministicTransitionSystem<S,I,T>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalDTS<S,I,T,SP,TP>, UniversalTransitionSystem<S,I,T,SP,TP>

Direct Known Subclasses:

AbstractCompactDeterministic, AbstractCompactSimpleDet, AbstractMutableDFA, AbstractShrinkableDeterministic

public abstract class AbstractMutableDeterministic<S,I,T,SP,TP>
extends AbstractDeterministicAutomaton<S,I,T>
implements MutableDeterministic<S,I,T,SP,TP>

Abstract base class for mutable deterministic automata.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
AbstractMutableDeterministic()

Method Summary

Methods

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

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

iterator, size, stateIDs

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

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

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.MutableDeterministic

setInitialState, setTransition

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

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

getInitialState, getState, getSuccessor, getSuccessor

Methods inherited from interface net.automatalib.automata.MutableAutomaton

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

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

AbstractMutableDeterministic

public AbstractMutableDeterministic()

Method Detail

addTransition

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

Provides a realization of MutableAutomaton.addTransition(Object, Object, Object) using DeterministicTransitionSystem.getTransition(Object, Object) and MutableDeterministic.setTransition(Object, Object, Object).

See Also:

MutableAutomaton.addTransition(Object, Object, Object)

removeTransition

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

Provides a realization of MutableAutomaton.removeTransition(Object, Object, Object) using DeterministicTransitionSystem.getTransition(Object, Object) and MutableDeterministic.setTransition(Object, Object, Object).

See Also:

MutableAutomaton.removeTransition(Object, Object, Object)

removeAllTransitions

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

Provides a realization of MutableAutomaton.removeAllTransitions(Object, Object) using MutableDeterministic.setTransition(Object, Object, Object).

See Also:

MutableAutomaton.removeAllTransitions(Object, Object)

setTransitions

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

Provides a realization of MutableAutomaton.setTransitions(Object, Object, Collection) using MutableDeterministic.setTransition(Object, Object, Object)

See Also:

MutableAutomaton.setTransitions(Object, Object, Collection)

setTransition

public static <S,I,T,SP,TP> void setTransition(MutableDeterministic<S,I,T,SP,TP> $this,
                               S state,
                               I input,
                               S successor,
                               TP property)

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

See Also:

MutableDeterministic.setTransition(Object, Object, Object, Object)

setInitial

public static <S,I,T,SP,TP> void setInitial(MutableDeterministic<S,I,T,SP,TP> $this,
                            S state,
                            boolean initial)

Provides a realization of MutableAutomaton.setInitial(Object, boolean) using SimpleDTS.getInitialState() and MutableDeterministic.setInitialState(Object).

See Also:

MutableAutomaton.setInitial(Object, boolean)

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 property)

Specified by:

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

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>

setInitial

public void setInitial(S state,
              boolean initial)

Specified by:

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

setTransitions

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

Specified by:

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

setTransition

public void setTransition(S state,
                 I input,
                 S succ,
                 TP properties)

Specified by:

setTransition in interface MutableDeterministic<S,I,T,SP,TP>

addInitialState

public S addInitialState(SP property)

Specified by:

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

addInitialState

public S addInitialState()

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>