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;
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 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,...