UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Namespace List
Here is a list of all documented namespaces with brief descriptions:
[detail level 12]
\NuncoverThe main namespace for the Uncover tool
 oNanalysisThis namespace is a collection of all classes specifically used for the (backwards) analysis
 oNbasic_typesContains a collection of general classes used through out the tool
 oNgraphsContains all classes and definitions for graphs, mappings between graphs, rules and graph transformation systems
 oNioContains all classes and definitions used for importing and exporting graphs and graph transformation systems in any way
 oNloggingContains classes used for handling logging
 oNminorsContains implementations of classes from the uncover::analysis namespace for the minor ordering
 oNrule_engineContains basic classes for applying rules
 oNscenariosContains all Scenarios predefined for this tool
 oNsubgraphsContains implementations of classes from the uncover::analysis namespace for the subgraph ordering
 \NtestContains a collection of unit tests for testing this tools functionality