AnnotatedState (owl 21.0 API)

All Known Implementing Classes:

AsymmetricRankingState, BuchiDegeneralization.IndexedState, GameViews.Node, IARState, RabinDegeneralization.DegeneralizedRabinState, SymmetricRankingState, SymmetricRankingState, ZielonkaTreeTransformations.ZielonkaState
```
public interface AnnotatedState<S>
```

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  S state()

- Method Detail
  - state
```
S state()
```