Class AcceptanceOptimizations
- java.lang.Object
-
- owl.automaton.acceptance.optimizations.AcceptanceOptimizations
-
public final class AcceptanceOptimizations extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
AcceptanceOptimizations.AcceptanceOptimizationTransformer
-
Field Summary
Fields Modifier and Type Field Description static OwlModuleParser.TransformerParser
CLI
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S,A extends OmegaAcceptance>
MutableAutomaton<S,A>optimize(Automaton<S,A> automaton)
static <S> void
removeDeadStates(MutableAutomaton<S,?> automaton)
Remove states from the automaton that cannot belong to an infinite accepting path.
-
-
-
Field Detail
-
CLI
public static final OwlModuleParser.TransformerParser CLI
-
-
Method Detail
-
optimize
public static <S,A extends OmegaAcceptance> MutableAutomaton<S,A> optimize(Automaton<S,A> automaton)
-
removeDeadStates
public static <S> void removeDeadStates(MutableAutomaton<S,?> automaton)
Remove states from the automaton that cannot belong to an infinite accepting path.- Parameters:
automaton
- The automaton considered by the analysis.
-
-