| NbaAdjMat<S> |
|
| NbaDet |
This class provides a conversion from non-deterministic Büchi automata
into deterministic parity automata.
|
| NbaDetArgs |
|
| NbaDetArgs.Builder |
|
| NbaDetConf<S> |
This is the structure containing all required information that is used in the
determinization process and is obtained based on an NbaDetArgs instance.
|
| NbaDetConfSets |
these sets reflect the different determinisation components to be used in the DetState
i.e.
|
| NbaDetState<S> |
This is the state type of the deterministic parity automaton produced by nbadet.
|
| NbaLangInclusions |
This class glues available algorithms that can underapprox.
|
| NbaSccInfo<S> |
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.
|
| RankedSlice |
type/wrapper of ranked slices, which are just tuples of disjoint sets, with entries that are
additionally to the index order also ranked by some extra total order (i.e.
|
| SmartSucc<S> |
This class acts like a "smart cache" for the states produced during NBA determinization.
|