Class RabinDegeneralization
- java.lang.Object
-
- owl.automaton.acceptance.degeneralization.RabinDegeneralization
-
public final class RabinDegeneralization extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
RabinDegeneralization.DegeneralizedRabinState<S>
-
Field Summary
Fields Modifier and Type Field Description static OwlModule<OwlModule.Transformer>
MODULE
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> Automaton<?,RabinAcceptance>
degeneralize(Automaton<S,? extends GeneralizedRabinAcceptance> automaton)
-
-
-
Field Detail
-
MODULE
public static final OwlModule<OwlModule.Transformer> MODULE
-
-
Method Detail
-
degeneralize
public static <S> Automaton<?,RabinAcceptance> degeneralize(Automaton<S,? extends GeneralizedRabinAcceptance> automaton)
-
-