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