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.