Package org.svvrl.goal.core.comp.progressmeasure

Class Summary

Class	Description
ProgressMeasure	This class provides an implementation of progress measures with the domains limited to one level in run DAGs.
ProgressMeasureConstruction	This class provides an implementation of the complementation construction based on progress measure [Nils Klarlund: Progress Measures for Complementation of ω-Automata with Applications to Temporal Logic.
ProgressMeasureState	This class provide an implementation of states in the complements constructed by progress measure.