Package owl.automaton
Interface AnnotatedState<S>
-
- 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()
-
-