UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
globals.h
1 /***************************************************************************
2  * Copyright (C) 2014 by Jan Stückrath <jan.stueckrath@uni-due.de> *
3  * *
4  * This program is free software; you can redistribute it and/or modify *
5  * it under the terms of the GNU General Public License as published by *
6  * the Free Software Foundation; either version 2 of the License, or *
7  * (at your option) any later version. *
8  * *
9  * This program is distributed in the hope that it will be useful, *
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of *
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
12  * GNU General Public License for more details. *
13  * *
14  * You should have received a copy of the GNU General Public License *
15  * along with this program; if not, write to the *
16  * Free Software Foundation, Inc., *
17  * 51 Franklin St, Fifth Floor, Boston, MA 02110, USA *
18  ***************************************************************************/
19 
20 #ifndef GLOBALS_H_
21 #define GLOBALS_H_
22 
23 // include standard data structures for all classes
24 #include <string>
25 #include <vector>
26 #include <unordered_map>
27 #include <unordered_set>
28 #include <memory>
29 #include <map>
30 
31 // the included data structures can be used without explicit using statement
32 using std::string;
33 using std::vector;
34 using std::unordered_map;
35 using std::unordered_set;
36 using std::unordered_multiset;
37 using std::unique_ptr;
38 using std::shared_ptr;
39 using std::pair;
40 using std::make_shared;
41 using std::map;
42 
43 // ********************************************************************************************
44 // As convention the name of every variable and function defined here must start with "gl_".
45 // This does not include type definitions!
46 // ********************************************************************************************
47 
48 namespace uncover {
49 
53  typedef unsigned int IDType;
54 
58  extern const IDType IDType_MAX;
59 
60  namespace logging {
61 
65  enum LogTypes {
67  LT_None = -1,
74  LT_Error = 2,
78  LT_Debug = 4};
79 
85  std::string gl_logTypeToString(LogTypes type);
86 
91 
92  }
93 
94  namespace graphs {
95 
99  typedef unsigned int PartSig;
100 
105  typedef unordered_map<IDType,PartSig> HGSignature;
106 
107  }
108 
115 
122 
129 
130 }
131 
132 #endif /* GLOBALS_H_ */
unsigned int PartSig
PartSig is a Signature of an element of a graph.
Definition: globals.h:99
Like LT_UserInfo, additionally displaying errors blocking or stopping normal computation.
Definition: globals.h:71
LogTypes
LogTypes defines all types of log-messages usable with a messageLogger stream.
Definition: globals.h:65
Like LT_CriticalError, additionally displaying errors which can be ignored but probably produce unint...
Definition: globals.h:74
logging::LogTypes gl_LogLevel
gl_LogLevel is the default level of log-messages streamed using the messageLogger.
string gl_logTypeToString(LogTypes type)
Takes a log-type defined by LogTypes and returns a string representation.
Definition: globals.cpp:34
Like LT_Warnings, additionally displaying debug messages.
Definition: globals.h:78
Only status information of the computation is displayed.
Definition: globals.h:69
IDType const IDType_MAX
IDType_MAX is the largest possible value a variable of type IDType can have.
Definition: globals.cpp:30
unordered_map< IDType, PartSig > HGSignature
HGSignature represents a Signature calculated from a Hypergraph.
Definition: globals.h:105
IDType gl_getNewRuleID()
This method returns a new unique ID for a transformation rule of a verification instance.
Definition: globals.cpp:73
IDType gl_getNewStepID()
This method returns a new unique ID for a single verification step of a verification instance...
Definition: globals.cpp:84
IDType gl_getNewStateID()
This method returns a new unique ID for a state of a verification instance.
Definition: globals.cpp:62
unsigned int IDType
IDType is an (unsigned) integer specifically used as an Identifier of graphs, elements of graphs or a...
Definition: globals.h:53
No Logging is displayed.
Definition: globals.h:67
Like LT_Error, additionally displaying warnings.
Definition: globals.h:76