public class FastPowersetDTS<S extends NumericID,I,T> extends Object implements DeterministicTransitionSystem<FastPowersetState<S>,I,Set<T>>, PowersetViewTS<FastPowersetState<S>,I,Set<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<S> |
getOriginalStates(FastPowersetState<S> state) |
Collection<T> |
getOriginalTransitions(Set<T> transition) |
FastPowersetState<S> |
getSuccessor(FastPowersetState<S> state,
I input)
Retrieves the successor state reachable by the given input symbol.
|
FastPowersetState<S> |
getSuccessor(Set<T> transition)
Retrieves the successor state of a given transition.
|
Set<T> |
getTransition(FastPowersetState<S> state,
I input)
Retrieves the transition triggered by the given input symbol.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSuccessors, getTransitions, transToSet
powersetView
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, 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 FastPowersetState<S> getSuccessor(Set<T> transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<FastPowersetState<S extends NumericID>,I,Set<T>>
transition
- the transition.public FastPowersetState<S> getSuccessor(FastPowersetState<S> state, I input)
SimpleDTS
getSuccessor
in interface DeterministicTransitionSystem<FastPowersetState<S extends NumericID>,I,Set<T>>
getSuccessor
in interface SimpleDTS<FastPowersetState<S extends NumericID>,I>
state
- the source state.input
- the input symbol.null
if no state is reachable by
this symbol.TransitionSystem.getSuccessors(Object, Object)
public Set<T> getTransition(FastPowersetState<S> state, I input)
DeterministicTransitionSystem
getTransition
in interface DeterministicTransitionSystem<FastPowersetState<S extends NumericID>,I,Set<T>>
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
public Collection<S> getOriginalStates(FastPowersetState<S> state)
getOriginalStates
in interface PowersetViewTS<FastPowersetState<S extends NumericID>,I,Set<T>,S extends NumericID,T>
public Collection<T> getOriginalTransitions(Set<T> transition)
getOriginalTransitions
in interface PowersetViewTS<FastPowersetState<S extends NumericID>,I,Set<T>,S extends NumericID,T>
Copyright © 2019. All rights reserved.