Module net.automatalib.api

Package net.automatalib.ts

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

Type Parameters:

S - state type

I - input symbol type

T - transition type

OS - original state type

OT - original transition type

All Superinterfaces:

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

All Known Subinterfaces:

AcceptorPowersetViewTS<S,I,OS>

All Known Implementing Classes:

AbstractCompactSimpleNondet.CompactPowersetDTS, AcceptorPowersetView, CompactNFA.CompactAcceptorPowersetDTS, DeterministicAcceptorPowersetView, DeterministicPowersetView, FastAcceptorPowersetDTS, FastPowersetDTS, PowersetView

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

A powerset view is a deterministic view on a (potentially) non-deterministic transition system. Conceptually, this view traverses sets of states of the original transition system.

Method Summary

Modifier and Type	Method	Description
Collection<OS>	getOriginalStates(S state)	Returns the original states that the given view state represents.
Collection<OT>	getOriginalTransitions(T transition)	Returns the original transitions that the given view transition represents.

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, powersetView

Methods inherited from interface net.automatalib.automaton.concept.InitialState

getInitialState, getInitialStates

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

getState, getStates, getSuccessor

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor

Method Details

getOriginalStates

Collection<OS> getOriginalStates(S state)

Returns the original states that the given view state represents.

Parameters:

state - the view state

Returns:

the original states that the given view state represents

getOriginalTransitions

Collection<OT> getOriginalTransitions(T transition)

Returns the original transitions that the given view transition represents.

Parameters:

transition - the view transition

Returns:

the original transitions that the given view transition represents