UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Namespaces | Typedefs | Functions | Variables
uncover Namespace Reference

The main namespace for the Uncover tool. More...

Namespaces

 analysis
 This namespace is a collection of all classes specifically used for the (backwards) analysis.
 
 basic_types
 Contains a collection of general classes used through out the tool.
 
 graphs
 Contains all classes and definitions for graphs, mappings between graphs, rules and graph transformation systems.
 
 io
 Contains all classes and definitions used for importing and exporting graphs and graph transformation systems in any way.
 
 logging
 Contains classes used for handling logging.
 
 minors
 Contains implementations of classes from the uncover::analysis namespace for the minor ordering.
 
 rule_engine
 Contains basic classes for applying rules.
 
 scenarios
 Contains all Scenarios predefined for this tool.
 
 subgraphs
 Contains implementations of classes from the uncover::analysis namespace for the subgraph ordering.
 
 test
 Contains a collection of unit tests for testing this tools functionality.
 

Typedefs

typedef unsigned int IDType
 IDType is an (unsigned) integer specifically used as an Identifier of graphs, elements of graphs or analysis steps.
 

Functions

IDType gl_getNewStateID ()
 This method returns a new unique ID for a state of a verification instance. More...
 
IDType gl_getNewRuleID ()
 This method returns a new unique ID for a transformation rule of a verification instance. More...
 
IDType gl_getNewStepID ()
 This method returns a new unique ID for a single verification step of a verification instance. More...
 

Variables

IDType const IDType_MAX = UINT_MAX
 IDType_MAX is the largest possible value a variable of type IDType can have.
 
IDType gl_LastUsedStateID = 1
 Stores the last ID used for a graph. More...
 
IDType gl_LastUsedRuleID = 1
 Stores the last ID used for a rule. More...
 
IDType gl_LastUsedStepID = 1
 Stores the last ID used for a (backward) application of a rule. More...
 

Detailed Description

The main namespace for the Uncover tool.

This namespace contains all other namespace and some additional (general) type and function definitions.

Author
Jan Stückrath

Function Documentation

IDType gl_getNewRuleID ( )

This method returns a new unique ID for a transformation rule of a verification instance.

The ID may intersect with ID's generated by gl_getNewStateID() and gl_getNewStepID().

Returns
an ID not used by any other rule
IDType gl_getNewStateID ( )

This method returns a new unique ID for a state of a verification instance.

The ID may intersect with ID's generated by gl_getNewRuleID() and gl_getNewStepID().

Returns
an ID not used by any other state
IDType gl_getNewStepID ( )

This method returns a new unique ID for a single verification step of a verification instance.

The ID may intersect with ID's generated by gl_getNewStateID() and gl_getNewRuleID().

Returns
an ID not used by any other step

Variable Documentation

IDType gl_LastUsedRuleID = 1

Stores the last ID used for a rule.

DO NOT MODIFY!

IDType gl_LastUsedStateID = 1

Stores the last ID used for a graph.

DO NOT MODIFY!

IDType gl_LastUsedStepID = 1

Stores the last ID used for a (backward) application of a rule.

DO NOT MODIFY!