Package org.svvrl.goal.core.comp.hierarchy

Class Summary

Class	Description
HierarchyConstruction	This class provides a complementation construction which can complement Büchi automata in a special hierarchical form.
RandomHierarchicalAutomaton	This class provides a generator for automata in a two-layer hierarchical form.