public class FastPowersetDTS<S extends NumericID,I,T> extends AbstractDTS<FastPowersetState<S>,I,Collection<T>>
Constructor and Description |
---|
FastPowersetDTS(TransitionSystem<S,I,T> ts) |
Modifier and Type | Method and Description |
---|---|
FastPowersetState<S> |
getInitialState()
Retrieves the initial state of this transition system.
|
FastPowersetState<S> |
getSuccessor(Collection<T> transition)
Retrieves the successor state of a given transition.
|
FastPowersetState<S> |
getSuccessor(FastPowersetState<S> state,
I input)
Retrieves the successor state reachable by the given input symbol.
|
Collection<T> |
getTransition(FastPowersetState<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 FastPowersetDTS(TransitionSystem<S,I,T> ts)
public FastPowersetState<S> getInitialState()
SimpleDTS
SimpleTS.getInitialStates()
public Collection<T> getTransition(FastPowersetState<S> state, I input)
DeterministicTransitionSystem
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
public FastPowersetState<S> getSuccessor(Collection<T> transition)
TransitionSystem
transition
- the transition.public FastPowersetState<S> getSuccessor(FastPowersetState<S> state, I input)
SimpleDTS
getSuccessor
in interface SimpleDTS<FastPowersetState<S extends NumericID>,I>
getSuccessor
in class AbstractDTS<FastPowersetState<S extends NumericID>,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.