Package owl.translations.nbadet

Class NbaLangInclusions

java.lang.Object

owl.translations.nbadet.NbaLangInclusions

public final class NbaLangInclusions
extends Object

This class glues available algorithms that can underapprox. or compute NBA language inclusions to the determinization procedure, which can use (a part of) the pairs for optimizations.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	NbaLangInclusions.SimType	Register new simulation algorithms here.

Method Summary

Modifier and Type	Method	Description
static <S> Set<Pair<S,S>>	computeLangInclusions(Automaton<S,? extends BuchiAcceptance> aut, List<NbaLangInclusions.SimType> algset)	Calls all selected algorithms and takes the usion of their results.
static Map<String,NbaLangInclusions.SimType>	getAlgoArgs()	Register new simulation algorithms for argument parsing here.
static <S> Map<NbaLangInclusions.SimType,NbaSimAlgorithm<S,?>>	getAlgos()	Returns list of available algorithms to get language inclusion pairs.
static <S> Set<S>	getNbaAccPseudoSinks(Automaton<S,? extends BuchiAcceptance> aut)	Returns set of states with accepting loops on any symbol (i.e.
static Set<NbaLangInclusions.SimType>	getQuotientable()	The following ones are safe for performing a naive quotient using provided equivalences.

Methods inherited from class java.lang.Object

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

Method Detail

getQuotientable

public static Set<NbaLangInclusions.SimType> getQuotientable()

The following ones are safe for performing a naive quotient using provided equivalences.

getAlgos

public static <S> Map<NbaLangInclusions.SimType,NbaSimAlgorithm<S,?>> getAlgos()

Returns list of available algorithms to get language inclusion pairs.

getAlgoArgs

public static Map<String,NbaLangInclusions.SimType> getAlgoArgs()

Register new simulation algorithms for argument parsing here.

computeLangInclusions

public static <S> Set<Pair<S,S>> computeLangInclusions(Automaton<S,? extends BuchiAcceptance> aut,
                                                             List<NbaLangInclusions.SimType> algset)

Calls all selected algorithms and takes the usion of their results.

getNbaAccPseudoSinks

public static <S> Set<S> getNbaAccPseudoSinks(Automaton<S,? extends BuchiAcceptance> aut)

Returns set of states with accepting loops on any symbol (i.e. on [t] marked with {0}). Such states are universally accepting and hence this is a simple language inclusion to exploit.