public class DeterministicPowersetView<S,I,T> extends AbstractDTS<S,I,T> implements PowersetViewTS<S,I,T,S,T>
Constructor and Description |
---|
DeterministicPowersetView(DeterministicTransitionSystem<S,I,T> delegate) |
Modifier and Type | Method and Description |
---|---|
S |
getInitialState()
Retrieves the initial state of this transition system.
|
Collection<? extends S> |
getOriginalStates(S state) |
Collection<? extends T> |
getOriginalTransitions(T transition) |
S |
getSuccessor(T transition)
Retrieves the successor state of a given transition.
|
T |
getTransition(S state,
I input)
Retrieves the transition triggered by the given input symbol.
|
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
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
getTransitions, powersetView
getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public DeterministicPowersetView(DeterministicTransitionSystem<S,I,T> delegate)
public T getTransition(S state, I input)
DeterministicTransitionSystem
getTransition
in interface DeterministicTransitionSystem<S,I,T>
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
public S getSuccessor(T transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<S,I,T>
transition
- the transition.public S getInitialState()
SimpleDTS
getInitialState
in interface SimpleDTS<S,I>
SimpleTS.getInitialStates()
public Collection<? extends S> getOriginalStates(S state)
getOriginalStates
in interface PowersetViewTS<S,I,T,S,T>
public Collection<? extends T> getOriginalTransitions(T transition)
getOriginalTransitions
in interface PowersetViewTS<S,I,T,S,T>
Copyright © 2015. All rights reserved.