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