UnCoVer (Using Coverability for Verification)
|
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... | |
The main namespace for the Uncover tool.
This namespace contains all other namespace and some additional (general) type and function definitions.
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().
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().
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().
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!