DeterministicPowersetView (AutomataLib :: Core 0.11.0 API)

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 Description

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`@Nullable S`	`getInitialState()`
`Collection<S>`	`getOriginalStates(S state)`
`Collection<T>`	`getOriginalTransitions(T transition)`
`S`	`getSuccessor(T transition)`
`@Nullable 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

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
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
powersetView

- Constructor Detail
  - DeterministicPowersetView
```
public DeterministicPowersetView(DeterministicTransitionSystem<S,I,T> delegate)
```
- Method Detail
  - getTransition
```
public @Nullable 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 @Nullable 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>