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.
|