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 and Description
Collection<? extends OS>	getOriginalStates(S state)
Collection<? extends OT>	getOriginalTransitions(T transition)

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Method Detail

getOriginalStates

Collection<? extends OS> getOriginalStates(S state)

getOriginalTransitions

Collection<? extends OT> getOriginalTransitions(T transition)