ParityAcceptanceOptimizations (owl 21.0 API)

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

public final class ParityAcceptanceOptimizations
extends Object

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static <S> MutableAutomaton<S,ParityAcceptance>`	`minimizePriorities(MutableAutomaton<S,ParityAcceptance> automaton)`	This optimization simply determines all priorities used in each SCC and then tries to eliminate "gaps".
`static <S> MutableAutomaton<S,ParityAcceptance>`	`setAcceptingSets(MutableAutomaton<S,ParityAcceptance> automaton)`

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

- Method Detail
  - setAcceptingSets
```
public static <S> MutableAutomaton<S,ParityAcceptance> setAcceptingSets(MutableAutomaton<S,ParityAcceptance> automaton)
```
  - minimizePriorities
```
public static <S> MutableAutomaton<S,ParityAcceptance> minimizePriorities(MutableAutomaton<S,ParityAcceptance> automaton)
```
    This optimization simply determines all priorities used in each SCC and then tries to eliminate "gaps". For example, when [0, 2, 4, 5] are used, we actually only need to consider [0, 1]. Moreover for all transient edges the acceptance marks are removed.
    
    Type Parameters:
    
    S - the state type
    
    Parameters:
    
    automaton - the automaton
    
    Returns:
    
    a compacted acceptance.