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