Package owl.translations.nbadet
Class NbaDetConf<S>
- java.lang.Object
-
- owl.translations.nbadet.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.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classNbaDetConf.UpdateMode
-
Constructor Summary
Constructors Constructor Description NbaDetConf()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract BitSetaccSinks()abstract AutomatonConversionCommands.Nba2DpaCommandargs()abstract NbaAdjMat<S>aut()abstract owl.translations.nbadet.SubsumedStatesMapextMask()static <S> Set<Pair<S,S>>filterExternalIncl(Set<? extends Pair<S,S>> incl, SccDecomposition<? super S> scci, com.google.common.collect.BiMap<S,Integer> stm)static <S> Set<Pair<S,S>>filterInternalIncl(Set<? extends Pair<S,S>> incl, SccDecomposition<? super S> scci)abstract owl.translations.nbadet.SubsumedStatesMapintMask()static <S> NbaDetConf<S>prepare(Automaton<S,? extends BuchiAcceptance> aut, Set<Pair<S,S>> incl, AutomatonConversionCommands.Nba2DpaCommand args)construct the structure containing all required information and that will be passed around as information store a lot.abstract NbaDetConfSetssets()StringtoString()NbaDetConf<S>withUpdateMode(NbaDetConf.UpdateMode mode)
-
-
-
Method Detail
-
args
public abstract AutomatonConversionCommands.Nba2DpaCommand args()
-
accSinks
public abstract BitSet accSinks()
-
extMask
public abstract owl.translations.nbadet.SubsumedStatesMap extMask()
-
intMask
public abstract owl.translations.nbadet.SubsumedStatesMap intMask()
-
sets
public abstract NbaDetConfSets sets()
-
withUpdateMode
public NbaDetConf<S> withUpdateMode(NbaDetConf.UpdateMode mode)
-
filterInternalIncl
public static <S> Set<Pair<S,S>> filterInternalIncl(Set<? extends Pair<S,S>> incl, SccDecomposition<? super S> scci)
-
filterExternalIncl
public static <S> Set<Pair<S,S>> filterExternalIncl(Set<? extends Pair<S,S>> incl, SccDecomposition<? super S> scci, com.google.common.collect.BiMap<S,Integer> stm)
-
prepare
public static <S> NbaDetConf<S> prepare(Automaton<S,? extends BuchiAcceptance> aut, Set<Pair<S,S>> incl, AutomatonConversionCommands.Nba2DpaCommand 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 NBAincl- known language inclusions in input NBAargs- the configuration
-
-