public abstract class AbstractDTS<S,I,T> extends AbstractTS<S,I,T> implements DeterministicTransitionSystem<S,I,T>
Constructor and Description |
---|
AbstractDTS() |
Modifier and Type | Method and Description |
---|---|
Set<S> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
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)
Retrieves the state reachable by the given sequence of input symbols
from the initial state.
|
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)
Retrieves the successor state reachable by the given input symbol.
|
S |
getSuccessor(S state,
Iterable<I> input)
Retrieves the successor state reachable by the given sequence of
input symbols.
|
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)
Retrieves the transitions that can be triggered by the given
input symbol.
|
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransition
getSuccessor, powersetView
getInitialState
createDynamicStateMapping, createStaticStateMapping, getStates, getSuccessors, getSuccessors, getSuccessors
public AbstractDTS()
public static <S,I,T> Set<S> getInitialStates(DeterministicTransitionSystem<S,I,T> $this)
SimpleTS.getInitialStates()
using
SimpleDTS.getInitialState()
.SimpleTS.getInitialStates()
public static <S,I,T> Set<T> getTransitions(DeterministicTransitionSystem<S,I,T> $this, S state, I input)
TransitionSystem.getTransitions(Object, Object)
using DeterministicTransitionSystem.getTransition(Object, Object)
.public static <S,I,T> S getSuccessor(DeterministicTransitionSystem<S,I,T> $this, S state, I input)
TransitionSystem.getSuccessor(Object)
using
DeterministicTransitionSystem.getTransition(Object, Object)
and TransitionSystem.getSuccessor(Object)
.TransitionSystem.getSuccessor(Object)
public static <S,I,T> S getSuccessor(DeterministicTransitionSystem<S,I,T> $this, S state, Iterable<I> input)
SimpleDTS.getSuccessor(Object, Iterable)
using
SimpleDTS.getSuccessor(Object, Object)
.SimpleDTS.getSuccessor(Object, Iterable)
public static <S,I,T> S getState(DeterministicTransitionSystem<S,I,T> $this, Iterable<I> input)
SimpleDTS.getState(Iterable)
using
SimpleDTS.getSuccessor(Object, Iterable)
and SimpleDTS.getInitialState()
.DeterministicTransitionSystem#getState(Iterable)}
public Set<S> getInitialStates()
SimpleTS
getInitialStates
in interface SimpleTS<S,I>
public Collection<T> getTransitions(S state, I input)
TransitionSystem
getTransitions
in interface TransitionSystem<S,I,T>
state
- the source state.input
- the input symbol.null
if no transitions
are triggered by this input symbol.public S getSuccessor(S state, I input)
SimpleDTS
getSuccessor
in interface SimpleDTS<S,I>
state
- the source state.input
- the input symbol.null
if no state is reachable by this symbol.SimpleTS.getSuccessors(Object, Object)
public S getSuccessor(S state, Iterable<I> input)
SimpleDTS
getSuccessor
in interface SimpleDTS<S,I>
state
- the source state.input
- the input symbol.null
if no state is reachable by this symbol.SimpleTS.getSuccessors(Object, Iterable)
public S getState(Iterable<I> input)
SimpleDTS
getState
in interface SimpleDTS<S,I>
input
- the input word.null
if no state is reachable by this word.SimpleTS.getStates(Iterable)
Copyright © 2015. All Rights Reserved.