public class DeterministicPowersetView<S,I,T> extends Object implements DeterministicTransitionSystem<S,I,T>, 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.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSuccessor, getSuccessors, getTransitions, transToSet
powersetView
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, 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.