Package owl.translations.nbadet

Class NbaDetConfSets

java.lang.Object

owl.translations.nbadet.NbaDetConfSets

public abstract class NbaDetConfSets
extends Object

these sets reflect the different determinisation components to be used in the DetState i.e. rsccStates + asccsStates + dsccsStates + msccsStates form a labelled partition of the state space of the input Büchi automaton, where each partition is handled separately corresponding to its type (this refers to the different SCC-based optimizations)

Constructor Summary

Constructors

Constructor	Description
NbaDetConfSets()

Method Summary

Modifier and Type	Method	Description
abstract List<BitSet>	asccsStates()
abstract BitSet	asccStates()
abstract List<BitSet>	dsccsStates()
abstract List<BitSet>	msccsStates()
static <S> NbaDetConfSets	of(AutomatonConversionCommands.Nba2DpaCommand args, SccDecomposition<? extends S> scci, com.google.common.collect.BiMap<S,Integer> stateMap)
abstract BitSet	rsccStates()

Methods inherited from class java.lang.Object

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

Constructor Detail

NbaDetConfSets

public NbaDetConfSets()

Method Detail

rsccStates

public abstract BitSet rsccStates()

asccStates

public abstract BitSet asccStates()

asccsStates

public abstract List<BitSet> asccsStates()

dsccsStates

public abstract List<BitSet> dsccsStates()

msccsStates

public abstract List<BitSet> msccsStates()

of

public static <S> NbaDetConfSets of(AutomatonConversionCommands.Nba2DpaCommand args,
                                    SccDecomposition<? extends S> scci,
                                    com.google.common.collect.BiMap<S,Integer> stateMap)