SymbolicDRA2DPAConstruction (owl 21.0 API)

java.lang.Object
- owl.automaton.symbolic.SymbolicDRA2DPAConstruction

public abstract class SymbolicDRA2DPAConstruction
extends Object

Constructor Summary

Constructors
Constructor Description

SymbolicDRA2DPAConstruction()

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`abstract SymbolicAutomaton<?>`	`automaton()`
`static SymbolicDRA2DPAConstruction`	`of(SymbolicAutomaton<?> automaton)`
`SymbolicAutomaton<ParityAcceptance>`	`toParity()`	Like `tryToParity()` but expects that there is an equivalent Streett acceptance condition.
`Optional<SymbolicAutomaton<ParityAcceptance>>`	`tryToParity()`	Converts the acceptance condition `acceptance()` to a parity condition for the automaton `automaton()` or returns `Optional.Empty` if not possible.

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

- Constructor Detail
  - SymbolicDRA2DPAConstruction
```
public SymbolicDRA2DPAConstruction()
```
- Method Detail
  - automaton
```
public abstract SymbolicAutomaton<?> automaton()
```
  - of
```
public static SymbolicDRA2DPAConstruction of(SymbolicAutomaton<?> automaton)
```
  - tryToParity
```
public Optional<SymbolicAutomaton<ParityAcceptance>> tryToParity()
```
    Converts the acceptance condition acceptance() to a parity condition for the automaton automaton() or returns Optional.Empty if not possible. It is only possible to do this conversion if there exists an equivalent Streett acceptance condition on this same automaton.
    
    Returns:
    
    a symbolic parity automaton with the structure of automaton(), or Optional.Empty if automaton() has no equivalent Streett acceptance condition.
  - toParity
```
public SymbolicAutomaton<ParityAcceptance> toParity()
```
    Like tryToParity() but expects that there is an equivalent Streett acceptance condition. Only use if an equivalent Streett acceptance condition is guaranteed for automaton()
    
    Returns:
    
    a symbolic parity automaton with the structure of automaton()