Package net.automatalib.ts

Interface PowersetViewTS<S,I,T,OS,OT>

All Superinterfaces:

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

All Known Implementing Classes:

DeterministicPowersetView, DirectPowersetDTS, FastPowersetDTS

public interface PowersetViewTS<S,I,T,OS,OT>
extends DeterministicTransitionSystem<S,I,T>

Method Summary

Modifier and Type	Method	Description
Collection<OS>	getOriginalStates(S state)
Collection<OT>	getOriginalTransitions(T transition)

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

Method Detail

getOriginalStates

Collection<OS> getOriginalStates(S state)

getOriginalTransitions

Collection<OT> getOriginalTransitions(T transition)