Class 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)