Class BuchiDegeneralization.IndexedState<S>
- java.lang.Object
-
- owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState<S>
-
- All Implemented Interfaces:
AnnotatedState<S>
- Enclosing class:
- BuchiDegeneralization
public abstract static class BuchiDegeneralization.IndexedState<S> extends Object implements AnnotatedState<S>
-
-
Constructor Summary
Constructors Constructor Description IndexedState()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract intindex()static <S> BuchiDegeneralization.IndexedState<S>of(S state)static <S> BuchiDegeneralization.IndexedState<S>of(S state, int index)abstract Sstate()
-
-
-
Method Detail
-
state
public abstract S state()
- Specified by:
statein interfaceAnnotatedState<S>
-
index
public abstract int index()
-
of
public static <S> BuchiDegeneralization.IndexedState<S> of(S state)
-
of
public static <S> BuchiDegeneralization.IndexedState<S> of(S state, int index)
-
-