Class AcceptanceOptimizations
- java.lang.Object
-
- owl.automaton.acceptance.optimization.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 OwlModule<OwlModule.Transformer>
MODULE
-
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)
static <S> void
removeDeadStates(MutableAutomaton<S,?> automaton, boolean removeTransientEdges)
Remove states from the automaton that cannot belong to an infinite accepting path.static <S,A extends OmegaAcceptance>
MutableAutomaton<S,A>removeTransientAcceptance(MutableAutomaton<S,A> automaton)
-
-
-
Field Detail
-
MODULE
public static final OwlModule<OwlModule.Transformer> MODULE
-
-
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)
-
removeDeadStates
public static <S> void removeDeadStates(MutableAutomaton<S,?> automaton, boolean removeTransientEdges)
Remove states from the automaton that cannot belong to an infinite accepting path.- Parameters:
automaton
- The automaton considered by the analysis.removeTransientEdges
- Remove transient edges and normalise acceptance sets of rejecting sccs.
-
removeTransientAcceptance
public static <S,A extends OmegaAcceptance> MutableAutomaton<S,A> removeTransientAcceptance(MutableAutomaton<S,A> automaton)
-
-