Class NbaDet


  • public final class NbaDet
    extends Object
    This class provides the entry-point for the translation from non-deterministic B├╝chi automata to deterministic parity automata described in Bibliography.ICALP_19_1 with optimisations from Bibliography.ATVA_19.