net.automatalib.ts.powerset

Class DeterministicPowersetView<S,I,T>

java.lang.Object

net.automatalib.ts.powerset.DeterministicPowersetView<S,I,T>

All Implemented Interfaces:

DeterministicTransitionSystem<S,I,T>, PowersetViewTS<S,I,T,S,T>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>

public class DeterministicPowersetView<S,I,T>
extends Object
implements DeterministicTransitionSystem<S,I,T>, PowersetViewTS<S,I,T,S,T>

Constructor Summary

Constructors

Constructor and Description
DeterministicPowersetView(DeterministicTransitionSystem<S,I,T> delegate)

Method Summary

Modifier and Type	Method and Description
S	getInitialState()
Collection<S>	getOriginalStates(S state)
Collection<T>	getOriginalTransitions(T transition)
S	getSuccessor(T transition)
T	getTransition(S state, I input)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Constructor Detail

DeterministicPowersetView

public DeterministicPowersetView(DeterministicTransitionSystem<S,I,T> delegate)

Method Detail

getTransition

public T getTransition(S state,
                       I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<S,I,T>

getSuccessor

public S getSuccessor(T transition)

Specified by:

getSuccessor in interface TransitionSystem<S,I,T>

getInitialState

public S getInitialState()

Specified by:

getInitialState in interface SimpleDTS<S,I>

getOriginalStates

public Collection<S> getOriginalStates(S state)

Specified by:

getOriginalStates in interface PowersetViewTS<S,I,T,S,T>

getOriginalTransitions

public Collection<T> getOriginalTransitions(T transition)

Specified by:

getOriginalTransitions in interface PowersetViewTS<S,I,T,S,T>