public abstract class AbstractDTS<S,I,T> extends AbstractTS<S,I,T> implements DeterministicTransitionSystem<S,I,T>
| Constructor and Description |
|---|
AbstractDTS() |
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetTransitiongetSuccessor, powersetViewgetInitialStatecreateDynamicStateMapping, createStaticStateMapping, getStates, getSuccessors, getSuccessors, getSuccessorspublic 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).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).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()
getInitialStates in interface SimpleTS<S,I>public Collection<T> getTransitions(S state, I input)
getTransitions in interface TransitionSystem<S,I,T>public S getSuccessor(S state, I input)
getSuccessor in interface SimpleDTS<S,I>public S getSuccessor(S state, Iterable<I> input)
getSuccessor in interface SimpleDTS<S,I>Copyright © 2013. All Rights Reserved.