cvc4-1.4
configuration.h
Go to the documentation of this file.
1/********************* */
19#include "cvc4_public.h"
20
21#ifndef __CVC4__CONFIGURATION_H
22#define __CVC4__CONFIGURATION_H
23
24#include <string>
25
26namespace CVC4 {
27
32
35
36 // these constants are filled in by the build system
37 static const bool IS_SUBVERSION_BUILD;
38 static const char* const SUBVERSION_BRANCH_NAME;
39 static const unsigned SUBVERSION_REVISION;
40 static const bool SUBVERSION_HAS_MODIFICATIONS;
41 static const bool IS_GIT_BUILD;
42 static const char* const GIT_BRANCH_NAME;
43 static const char* const GIT_COMMIT;
44 static const bool GIT_HAS_MODIFICATIONS;
45
46public:
47
48 static std::string getName();
49
50 static bool isDebugBuild();
51
52 static bool isStatisticsBuild();
53
54 static bool isReplayBuild();
55
56 static bool isTracingBuild();
57
58 static bool isDumpingBuild();
59
60 static bool isMuzzledBuild();
61
62 static bool isAssertionBuild();
63
64 static bool isProofBuild();
65
66 static bool isCoverageBuild();
67
68 static bool isProfilingBuild();
69
70 static bool isCompetitionBuild();
71
72 static std::string getPackageName();
73
74 static std::string getVersionString();
75
76 static unsigned getVersionMajor();
77
78 static unsigned getVersionMinor();
79
80 static unsigned getVersionRelease();
81
82 static std::string getVersionExtra();
83
84 static std::string about();
85
86 static bool licenseIsGpl();
87
88 static bool isBuiltWithGmp();
89
90 static bool isBuiltWithCln();
91
92 static bool isBuiltWithGlpk();
93
94 static bool isBuiltWithAbc();
95
96 static bool isBuiltWithReadline();
97
98 static bool isBuiltWithCudd();
99
101
102 /* Return the number of debug tags */
103 static unsigned getNumDebugTags();
104 /* Return a sorted array of the debug tags name */
105 static char const* const* getDebugTags();
106 /* Test if the given argument is a known debug tag name */
107 static bool isDebugTag(char const *);
108
109 /* Return the number of trace tags */
110 static unsigned getNumTraceTags();
111 /* Return a sorted array of the trace tags name */
112 static char const* const* getTraceTags();
113 /* Test if the given argument is a known trace tag name */
114 static bool isTraceTag(char const *);
115
116 static bool isGitBuild();
117 static const char* getGitBranchName();
118 static const char* getGitCommit();
119 static bool hasGitModifications();
120 static std::string getGitId();
121
122 static bool isSubversionBuild();
123 static const char* getSubversionBranchName();
124 static unsigned getSubversionRevision();
126 static std::string getSubversionId();
127
128 static std::string getCompiler();
129 static std::string getCompiledDateTime();
130
131};/* class Configuration */
132
133}/* CVC4 namespace */
134
135#endif /* __CVC4__CONFIGURATION_H */
Represents the (static) configuration of CVC4.
static std::string getVersionString()
static const char * getGitBranchName()
static std::string getName()
static const char * getGitCommit()
static bool isAssertionBuild()
static std::string getCompiledDateTime()
static bool hasSubversionModifications()
static bool isStatisticsBuild()
static bool isDumpingBuild()
static bool isSubversionBuild()
static bool isProofBuild()
static bool isReplayBuild()
static bool isCompetitionBuild()
static unsigned getNumTraceTags()
static unsigned getSubversionRevision()
static const char * getSubversionBranchName()
static unsigned getNumDebugTags()
static bool isGitBuild()
static bool isBuiltWithGmp()
static bool hasGitModifications()
static bool isBuiltWithTlsSupport()
static std::string about()
static bool isDebugBuild()
static unsigned getVersionRelease()
static unsigned getVersionMinor()
static bool isBuiltWithAbc()
static bool isTracingBuild()
static char const *const * getTraceTags()
static bool isMuzzledBuild()
static bool licenseIsGpl()
static bool isBuiltWithCudd()
static bool isTraceTag(char const *)
static unsigned getVersionMajor()
static bool isBuiltWithReadline()
static bool isProfilingBuild()
static bool isCoverageBuild()
static std::string getCompiler()
static std::string getVersionExtra()
static bool isBuiltWithGlpk()
static bool isDebugTag(char const *)
static std::string getPackageName()
static std::string getSubversionId()
static std::string getGitId()
static char const *const * getDebugTags()
static bool isBuiltWithCln()
Macros that should be defined everywhere during the building of the libraries and driver binary,...
#define CVC4_PUBLIC
Definition cvc4_public.h:30
Definition expr.h:106