Package owl.translations.nbadet
Class NbaSccInfo<S>
- java.lang.Object
-
- owl.translations.nbadet.NbaSccInfo<S>
-
public abstract class NbaSccInfo<S> extends Object
This class wraps SccDecomposition, assigns each SCC an integer ID (in topological order) and provides additional lookup tables to check various SCC properties and the SCC ID of states.
-
-
Constructor Summary
Constructors Constructor Description NbaSccInfo()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract Set<Integer>
accSccs()
Weak accepting SCCs (non-trivial and only good cycles).abstract Set<Integer>
botSccs()
bottom SCCs.abstract Set<Integer>
detSccs()
deterministic SCCs.IntStream
ids()
SCC IDs in some reverse topological order (bottom SCCs first, initial last).boolean
isSccReachable(int s, int t)
reachability relation on SCCs.boolean
isStateReachable(S p, S q)
reachability relation on states.static <S> NbaSccInfo<S>
of(Automaton<S,BuchiAcceptance> aut)
Compute various useful information.abstract Set<Integer>
rejSccs()
Weak rejecting SCCs (trivial or only rejecting cycles).abstract SccDecomposition<S>
sccDecomposition()
the state sets, numbered in some topological order (bottom SCCs last).String
toString()
abstract Set<Integer>
trvSccs()
trivial SCCs.
-
-
-
Method Detail
-
sccDecomposition
public abstract SccDecomposition<S> sccDecomposition()
the state sets, numbered in some topological order (bottom SCCs last).
-
rejSccs
public abstract Set<Integer> rejSccs()
Weak rejecting SCCs (trivial or only rejecting cycles).
-
accSccs
public abstract Set<Integer> accSccs()
Weak accepting SCCs (non-trivial and only good cycles).
-
ids
public IntStream ids()
SCC IDs in some reverse topological order (bottom SCCs first, initial last).
-
isSccReachable
public boolean isSccReachable(int s, int t)
reachability relation on SCCs. An SCC is reachable from itself iff it is not transient.
-
of
public static <S> NbaSccInfo<S> of(Automaton<S,BuchiAcceptance> aut)
Compute various useful information.
-
-