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 class	NbaDetConf.UpdateMode

Constructor Summary

Constructors

Constructor	Description
NbaDetConf()

Method Summary

Modifier and Type	Method	Description
abstract BitSet	accSinks()
abstract AutomatonConversionCommands.Nba2DpaCommand	args()
abstract NbaAdjMat<S>	aut()
abstract owl.translations.nbadet.SubsumedStatesMap	extMask()
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.SubsumedStatesMap	intMask()
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 NbaDetConfSets	sets()
String	toString()
NbaDetConf<S>	withUpdateMode(NbaDetConf.UpdateMode mode)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NbaDetConf

public NbaDetConf()

Method Detail

args

public abstract AutomatonConversionCommands.Nba2DpaCommand args()

aut

public abstract NbaAdjMat<S> aut()

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 NBA

incl - known language inclusions in input NBA

args - the configuration

toString

public String toString()

Overrides:

toString in class Object