Package org.svvrl.goal.core.comp.waa

Class Summary

Class	Description
WAAConstruction	This class provides and implementation of the complementation construction via weak alternating automata [Orna Kupferman, Moshe Y.
WAAConverter	This class provides an implementation of the conversion from an NBW to a complement UCW (universal co-Büchi automaton) and the conversion from a UCW to an equivalent WAA (weak alternating automaton).
WAAConverter.UCW2WAAConverter	Converts an alternating co-Büchi automaton to an equivalent weak alternating automaton, which is a special case of alternating Büchi automaton.