public abstract class AbstractTS<S,I,T> extends Object implements TransitionSystem<S,I,T>
Constructor and Description |
---|
AbstractTS() |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
createDynamicStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data
with this transition system's states. |
static <S,I,T,V> MutableMapping<S,V> |
createDynamicStateMapping(TransitionSystem<S,I,T> $this) |
<V> MutableMapping<S,V> |
createStaticStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data
with this transition system's states. |
static <S,I,T,V> MutableMapping<S,V> |
createStaticStateMapping(TransitionSystem<S,I,T> $this) |
Set<S> |
getStates(Iterable<I> input)
Retrieves the set of all states reachable by the given sequence of input
symbols from an initial state.
|
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)
Retrieves the set of all successors that can be reached from any
of the given source states by the specified sequence of input symbols.
|
Set<S> |
getSuccessors(S state,
I input)
Retrieves the set of successors for the given input symbol.
|
Set<S> |
getSuccessors(S state,
Iterable<I> input)
Retrieves the set of successors for the given sequence of input symbols.
|
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()
Retrieves a "powerset view" of this transition system.
|
static <S,I,T> PowersetDTS<S,I,T> |
powersetView(TransitionSystem<S,I,T> $this)
Provides a realization of
TransitionSystem.powersetView() . |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSuccessor, getTransitions
getInitialStates
public AbstractTS()
public static <S,I,T> Set<S> getSuccessors(TransitionSystem<S,I,T> $this, S state, I input)
SimpleTS.getSuccessors(Object, Object)
using
TransitionSystem.getTransitions(Object, Object)
and
TransitionSystem.getSuccessor(Object)
.SimpleTS.getSuccessors(Object, Object)
public static <S,I,T> Set<S> getSuccessors(TransitionSystem<S,I,T> $this, S state, Iterable<I> input)
SimpleTS.getSuccessors(Object, Iterable)
using
SimpleTS.getSuccessors(Collection, Iterable)
.SimpleTS.getSuccessors(Object, Iterable)
public static <S,I,T> Set<S> getSuccessors(TransitionSystem<S,I,T> $this, Collection<S> states, Iterable<I> input)
SimpleTS.getSuccessors(Collection, Iterable)
using
SimpleTS.getSuccessors(Object, Object)
.public static <S,I,T> Set<S> getStates(TransitionSystem<S,I,T> $this, Iterable<I> input)
SimpleTS.getStates(Iterable)
using
SimpleTS.getSuccessors(Collection, Iterable)
and
SimpleTS.getInitialStates()
.SimpleTS.getStates(Iterable)
public static <S,I,T> PowersetDTS<S,I,T> powersetView(TransitionSystem<S,I,T> $this)
TransitionSystem.powersetView()
.TransitionSystem.powersetView()
,
PowersetDTS
public static <S,I,T,V> MutableMapping<S,V> createStaticStateMapping(TransitionSystem<S,I,T> $this)
public static <S,I,T,V> MutableMapping<S,V> createDynamicStateMapping(TransitionSystem<S,I,T> $this)
public Set<S> getSuccessors(S state, I input)
SimpleTS
getSuccessors
in interface SimpleTS<S,I>
state
- the source state.input
- the input symbol.null
if no successor states are reachable by this input.public Set<S> getSuccessors(S state, Iterable<I> input)
SimpleTS
getSuccessors
in interface SimpleTS<S,I>
state
- the source state.input
- the sequence of input symbols.null
if no successor states are reachable by this input.public Set<S> getSuccessors(Collection<S> states, Iterable<I> input)
SimpleTS
getSuccessors
in interface SimpleTS<S,I>
states
- the source states.input
- the sequence of input symbols.null
if no successor states are reachable.public Set<S> getStates(Iterable<I> input)
SimpleTS
getSuccessors(getInitialStates(), input)
.public DeterministicTransitionSystem<? extends Set<S>,I,? extends Collection<T>> powersetView()
TransitionSystem
powersetView
in interface TransitionSystem<S,I,T>
public <V> MutableMapping<S,V> createStaticStateMapping()
SimpleTS
MutableMapping
allowing to associate arbitrary data
with this transition system's states. The returned mapping is however
only guaranteed to work correctly if the transition system is not
modified.createStaticStateMapping
in interface SimpleTS<S,I>
public <V> MutableMapping<S,V> createDynamicStateMapping()
SimpleTS
MutableMapping
allowing to associate arbitrary data
with this transition system's states. The returned mapping maintains
the association even when the transition system is modified.createDynamicStateMapping
in interface SimpleTS<S,I>
Copyright © 2015. All Rights Reserved.