net.automatalib.ts.abstractimpl

Class AbstractDTS<S,I,T>

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractDeterministicAcceptorTS, AbstractDeterministicAutomaton, DTSComposition, FastPowersetDTS, PowersetDTS

public abstract class AbstractDTS<S,I,T>
extends AbstractTS<S,I,T>
implements DeterministicTransitionSystem<S,I,T>

Constructor Summary

Constructors

Constructor and Description
AbstractDTS()

Method Summary

Methods

Modifier and Type	Method and Description
Set<S>	getInitialStates()
static <S,I,T> Set<S>	getInitialStates(DeterministicTransitionSystem<S,I,T> $this) Provides a realization of SimpleTS.getInitialStates() using SimpleDTS.getInitialState().
static <S,I,T> S	getState(DeterministicTransitionSystem<S,I,T> $this, Iterable<I> input) Provides a realization of SimpleDTS.getState(Iterable) using SimpleDTS.getSuccessor(Object, Iterable) and SimpleDTS.getInitialState().
S	getState(Iterable<I> input)
static <S,I,T> S	getSuccessor(DeterministicTransitionSystem<S,I,T> $this, S state, I input) Provides a realization of TransitionSystem.getSuccessor(Object) using DeterministicTransitionSystem.getTransition(Object, Object) and TransitionSystem.getSuccessor(Object).
static <S,I,T> S	getSuccessor(DeterministicTransitionSystem<S,I,T> $this, S state, Iterable<I> input) Provides a realization of SimpleDTS.getSuccessor(Object, Iterable) using SimpleDTS.getSuccessor(Object, Object).
S	getSuccessor(S state, I input)
S	getSuccessor(S state, Iterable<I> input)
static <S,I,T> Set<T>	getTransitions(DeterministicTransitionSystem<S,I,T> $this, S state, I input) Provides a realization of TransitionSystem.getTransitions(Object, Object) using DeterministicTransitionSystem.getTransition(Object, Object).
Collection<T>	getTransitions(S state, I input)

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.ts.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

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

getInitialState

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

createDynamicStateMapping, createStaticStateMapping, getStates, getSuccessors, getSuccessors, getSuccessors

Constructor Detail

AbstractDTS

public AbstractDTS()

Method Detail

getInitialStates

public static <S,I,T> Set<S> getInitialStates(DeterministicTransitionSystem<S,I,T> $this)

Provides a realization of SimpleTS.getInitialStates() using SimpleDTS.getInitialState().

See Also:

SimpleTS.getInitialStates()

getTransitions

public static <S,I,T> Set<T> getTransitions(DeterministicTransitionSystem<S,I,T> $this,
                            S state,
                            I input)

Provides a realization of TransitionSystem.getTransitions(Object, Object) using DeterministicTransitionSystem.getTransition(Object, Object).

See Also:

TransitionSystem.getTransitions(Object, Object)

getSuccessor

public static <S,I,T> S getSuccessor(DeterministicTransitionSystem<S,I,T> $this,
                     S state,
                     I input)

Provides a realization of TransitionSystem.getSuccessor(Object) using DeterministicTransitionSystem.getTransition(Object, Object) and TransitionSystem.getSuccessor(Object).

See Also:

TransitionSystem.getSuccessor(Object)

getSuccessor

public static <S,I,T> S getSuccessor(DeterministicTransitionSystem<S,I,T> $this,
                     S state,
                     Iterable<I> input)

Provides a realization of SimpleDTS.getSuccessor(Object, Iterable) using SimpleDTS.getSuccessor(Object, Object).

See Also:

SimpleDTS.getSuccessor(Object, Iterable)

getState

public static <S,I,T> S getState(DeterministicTransitionSystem<S,I,T> $this,
                 Iterable<I> input)

Provides a realization of SimpleDTS.getState(Iterable) using SimpleDTS.getSuccessor(Object, Iterable) and SimpleDTS.getInitialState().

See Also:

DeterministicTransitionSystem#getState(Iterable)}

getInitialStates

public Set<S> getInitialStates()

Specified by:

getInitialStates in interface SimpleTS<S,I>

getTransitions

public Collection<T> getTransitions(S state,
                           I input)

Specified by:

getTransitions in interface TransitionSystem<S,I,T>

getSuccessor

public S getSuccessor(S state,
             I input)

Specified by:

getSuccessor in interface SimpleDTS<S,I>

getSuccessor

public S getSuccessor(S state,
             Iterable<I> input)

Specified by:

getSuccessor in interface SimpleDTS<S,I>

getState

public S getState(Iterable<I> input)

Specified by:

getState in interface SimpleDTS<S,I>