net.automatalib.ts.abstractimpl

Class AbstractTS<S,I,T>

java.lang.Object

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

All Implemented Interfaces:

SimpleTS<S,I>, TransitionSystem<S,I,T>

Direct Known Subclasses:

AbstractAcceptorTS, AbstractAutomaton, AbstractDTS, TSComposition

public abstract class AbstractTS<S,I,T>
extends Object
implements TransitionSystem<S,I,T>

Constructor Summary

Constructors

Constructor and Description
AbstractTS()

Method Summary

Methods

Modifier and Type	Method and Description
<V> MutableMapping<S,V>	createDynamicStateMapping()
static <S,I,T,V> MutableMapping<S,V>	createDynamicStateMapping(TransitionSystem<S,I,T> $this)
<V> MutableMapping<S,V>	createStaticStateMapping()
static <S,I,T,V> MutableMapping<S,V>	createStaticStateMapping(TransitionSystem<S,I,T> $this)
Set<S>	getStates(Iterable<I> input)
static <S,I,T> Set<S>	getStates(TransitionSystem<S,I,T> $this, Iterable<I> input) Provides a realization of SimpleTS.getStates(Iterable) using SimpleTS.getSuccessors(Collection, Iterable) and SimpleTS.getInitialStates().
Set<S>	getSuccessors(Collection<S> states, Iterable<I> input)
Set<S>	getSuccessors(S state, I input)
Set<S>	getSuccessors(S state, Iterable<I> input)
static <S,I,T> Set<S>	getSuccessors(TransitionSystem<S,I,T> $this, Collection<S> states, Iterable<I> input) Provides a realization of SimpleTS.getSuccessors(Collection, Iterable) using SimpleTS.getSuccessors(Object, Object).
static <S,I,T> Set<S>	getSuccessors(TransitionSystem<S,I,T> $this, S state, I input) Provides a realization of SimpleTS.getSuccessors(Object, Object) using TransitionSystem.getTransitions(Object, Object) and TransitionSystem.getSuccessor(Object).
static <S,I,T> Set<S>	getSuccessors(TransitionSystem<S,I,T> $this, S state, Iterable<I> input) Provides a realization of SimpleTS.getSuccessors(Object, Iterable) using SimpleTS.getSuccessors(Collection, Iterable).
DeterministicTransitionSystem<? extends Set<S>,I,? extends Collection<T>>	powersetView()
static <S,I,T> PowersetDTS<S,I,T>	powersetView(TransitionSystem<S,I,T> $this) Provides a realization of TransitionSystem.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.ts.TransitionSystem

getSuccessor, getTransitions

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

getInitialStates

Constructor Detail

AbstractTS

public AbstractTS()

Method Detail

getSuccessors

public static <S,I,T> Set<S> getSuccessors(TransitionSystem<S,I,T> $this,
                           S state,
                           I input)

Provides a realization of SimpleTS.getSuccessors(Object, Object) using TransitionSystem.getTransitions(Object, Object) and TransitionSystem.getSuccessor(Object).

See Also:

SimpleTS.getSuccessors(Object, Object)

getSuccessors

public static <S,I,T> Set<S> getSuccessors(TransitionSystem<S,I,T> $this,
                           S state,
                           Iterable<I> input)

Provides a realization of SimpleTS.getSuccessors(Object, Iterable) using SimpleTS.getSuccessors(Collection, Iterable).

See Also:

SimpleTS.getSuccessors(Object, Iterable)

getSuccessors

public static <S,I,T> Set<S> getSuccessors(TransitionSystem<S,I,T> $this,
                           Collection<S> states,
                           Iterable<I> input)

Provides a realization of SimpleTS.getSuccessors(Collection, Iterable) using SimpleTS.getSuccessors(Object, Object).

See Also:

SimpleTS.getSuccessors(Collection, Iterable)

getStates

public static <S,I,T> Set<S> getStates(TransitionSystem<S,I,T> $this,
                       Iterable<I> input)

Provides a realization of SimpleTS.getStates(Iterable) using SimpleTS.getSuccessors(Collection, Iterable) and SimpleTS.getInitialStates().

See Also:

SimpleTS.getStates(Iterable)

powersetView

public static <S,I,T> PowersetDTS<S,I,T> powersetView(TransitionSystem<S,I,T> $this)

Provides a realization of TransitionSystem.powersetView().

See Also:

TransitionSystem.powersetView(), PowersetDTS

createStaticStateMapping

public static <S,I,T,V> MutableMapping<S,V> createStaticStateMapping(TransitionSystem<S,I,T> $this)

createDynamicStateMapping

public static <S,I,T,V> MutableMapping<S,V> createDynamicStateMapping(TransitionSystem<S,I,T> $this)

getSuccessors

public Set<S> getSuccessors(S state,
                   I input)

Specified by:

getSuccessors in interface SimpleTS<S,I>

getSuccessors

public Set<S> getSuccessors(S state,
                   Iterable<I> input)

Specified by:

getSuccessors in interface SimpleTS<S,I>

getSuccessors

public Set<S> getSuccessors(Collection<S> states,
                   Iterable<I> input)

Specified by:

getSuccessors in interface SimpleTS<S,I>

getStates

public Set<S> getStates(Iterable<I> input)

Specified by:

getStates in interface SimpleTS<S,I>

powersetView

public DeterministicTransitionSystem<? extends Set<S>,I,? extends Collection<T>> powersetView()

Specified by:

powersetView in interface TransitionSystem<S,I,T>

createStaticStateMapping

public <V> MutableMapping<S,V> createStaticStateMapping()

Specified by:

createStaticStateMapping in interface SimpleTS<S,I>

createDynamicStateMapping

public <V> MutableMapping<S,V> createDynamicStateMapping()

Specified by:

createDynamicStateMapping in interface SimpleTS<S,I>