Class NbaDetConf<S>


  • public abstract class NbaDetConf<S>
    extends Object
    This is the structure containing all required information that is used in the determinization process and is obtained based on an NbaDetArgs instance.
    • Constructor Detail

      • NbaDetConf

        public NbaDetConf()
    • Method Detail

      • accSinks

        public abstract BitSet accSinks()
      • extMask

        public abstract owl.translations.nbadet.SubsumedStatesMap extMask()
      • intMask

        public abstract owl.translations.nbadet.SubsumedStatesMap intMask()
      • filterInternalIncl

        public static <S> Set<Pair<S,​S>> filterInternalIncl​(Set<Pair<S,​S>> incl,
                                                                  NbaSccInfo<S> scci)
      • filterExternalIncl

        public static <S> Set<Pair<S,​S>> filterExternalIncl​(Set<Pair<S,​S>> incl,
                                                                  NbaSccInfo<S> scci,
                                                                  com.google.common.collect.BiMap<S,​Integer> stm)
      • prepare

        public static <S> NbaDetConf<S> prepare​(Automaton<S,​BuchiAcceptance> aut,
                                                Set<Pair<S,​S>> incl,
                                                NbaDetArgs args)
        construct the structure containing all required information and that will be passed around as information store a lot.
        Type Parameters:
        S - automaton state type
        Parameters:
        aut - input NBA
        incl - known language inclusions in input NBA
        args - the configuration