AcceptanceOptimizations (owl 21.0 API)

java.lang.Object
- owl.automaton.acceptance.optimization.AcceptanceOptimizations

public final class AcceptanceOptimizations
extends Object

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static <S> void`	`removeDeadStates(MutableAutomaton<S,?> automaton)`	Remove states from the automaton that cannot belong to an infinite accepting path.
`static <S,A extends EmersonLeiAcceptance> Automaton<S,A>`	`transform(Automaton<S,A> automaton)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - removeDeadStates
```
public static <S> void removeDeadStates(MutableAutomaton<S,?> automaton)
```
    Remove states from the automaton that cannot belong to an infinite accepting path. Moreover, all transient edges are cleared of acceptance marks.
    
    Parameters:
    
    automaton - The automaton considered by the analysis.
  - transform
```
public static <S,A extends EmersonLeiAcceptance> Automaton<S,A> transform(Automaton<S,A> automaton)
```