SymbolicSccDecomposition (owl 21.0 API)

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

public abstract class SymbolicSccDecomposition
extends Object

Constructor Summary

Constructors
Constructor Description

SymbolicSccDecomposition()

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`abstract SymbolicAutomaton<?>`	`automaton()`
`boolean`	`isTrivialScc(BddSet scc)`
`static SymbolicSccDecomposition`	`of(SymbolicAutomaton<?> automaton)`
`List<BddSet>`	`sccs()`
`List<BddSet>`	`sccs(BddSet restrictedTo)`	Computes the scc decomposition of the automaton using the algorithm described in https://doi.org/10.1007/s10703-006-4341-z, where the acceptance condition is included in the states.

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

- Constructor Detail
  - SymbolicSccDecomposition
```
public SymbolicSccDecomposition()
```
- Method Detail
  - automaton
```
public abstract SymbolicAutomaton<?> automaton()
```
  - of
```
public static SymbolicSccDecomposition of(SymbolicAutomaton<?> automaton)
```
  - sccs
```
public List<BddSet> sccs(BddSet restrictedTo)
```
    Computes the scc decomposition of the automaton using the algorithm described in https://doi.org/10.1007/s10703-006-4341-z, where the acceptance condition is included in the states. The returned BDDs therefore only contain state and colour variables
    
    Parameters:
    
    restrictedTo - a BddSet representing the state-space for which the SCC decomposition is computed. Only states in restrictedTo are included in the result.
    
    Returns:
    
    A list of BddSets representing the SCCs of the automaton.
  - sccs
```
@Memoized
public List<BddSet> sccs()
```
  - isTrivialScc
```
public boolean isTrivialScc(BddSet scc)
```