26 #include <unordered_map>
27 #include <unordered_set>
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;
40 using std::make_shared;
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