21 #ifndef __CVC4__CONFIGURATION_H
22 #define __CVC4__CONFIGURATION_H
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;
48 static std::string getName();
50 static bool isDebugBuild();
52 static bool isStatisticsBuild();
54 static bool isReplayBuild();
56 static bool isTracingBuild();
58 static bool isDumpingBuild();
60 static bool isMuzzledBuild();
62 static bool isAssertionBuild();
64 static bool isProofBuild();
66 static bool isCoverageBuild();
68 static bool isProfilingBuild();
70 static bool isCompetitionBuild();
72 static std::string getPackageName();
74 static std::string getVersionString();
76 static unsigned getVersionMajor();
78 static unsigned getVersionMinor();
80 static unsigned getVersionRelease();
82 static std::string getVersionExtra();
84 static std::string about();
86 static bool licenseIsGpl();
88 static bool isBuiltWithGmp();
90 static bool isBuiltWithCln();
92 static bool isBuiltWithGlpk();
94 static bool isBuiltWithAbc();
96 static bool isBuiltWithReadline();
98 static bool isBuiltWithCudd();
100 static bool isBuiltWithTlsSupport();
103 static unsigned getNumDebugTags();
105 static char const*
const* getDebugTags();
107 static bool isDebugTag(
char const *);
110 static unsigned getNumTraceTags();
112 static char const*
const* getTraceTags();
114 static bool isTraceTag(
char const *);
116 static bool isGitBuild();
117 static const char* getGitBranchName();
118 static const char* getGitCommit();
119 static bool hasGitModifications();
120 static std::string getGitId();
122 static bool isSubversionBuild();
123 static const char* getSubversionBranchName();
124 static unsigned getSubversionRevision();
125 static bool hasSubversionModifications();
126 static std::string getSubversionId();
128 static std::string getCompiler();
129 static std::string getCompiledDateTime();
Represents the (static) configuration of CVC4.
Macros that should be defined everywhere during the building of the libraries and driver binary...