Package org.svvrl.goal.core.comp.wapa

  • Class Summary 
    Class Description
    WAPAConstruction
    This class provides an implementation of the comlementation construction in [Wolfgang Thomas: Complementation of Büchi Automata Revisited.
    WAPAConverter
    This is a class provides methods for converting weak alternating parity automata (WAPA) to or from a Büchi automaton (NBW).
    WAPAConverter.DualWAPAConverter
    This is a converter that can take the dual of a WAPA.
    WAPAConverter.NBW2WAPAConverter
    This is a converter that can convert an NBW to an equivalent WAPA.
    WAPAConverter.WAPA2NBWConverter
    This is a converter that can convert a WAPA to an equivalent NBW.