Represents the (static) configuration of CVC4.
More...
#include <configuration.h>
Represents the (static) configuration of CVC4.
Definition at line 31 of file configuration.h.
◆ about()
static std::string CVC4::Configuration::about |
( |
| ) |
|
|
static |
◆ getCompiledDateTime()
static std::string CVC4::Configuration::getCompiledDateTime |
( |
| ) |
|
|
static |
◆ getCompiler()
static std::string CVC4::Configuration::getCompiler |
( |
| ) |
|
|
static |
◆ getDebugTags()
static char const* const* CVC4::Configuration::getDebugTags |
( |
| ) |
|
|
static |
◆ getGitBranchName()
static const char* CVC4::Configuration::getGitBranchName |
( |
| ) |
|
|
static |
◆ getGitCommit()
static const char* CVC4::Configuration::getGitCommit |
( |
| ) |
|
|
static |
◆ getGitId()
static std::string CVC4::Configuration::getGitId |
( |
| ) |
|
|
static |
◆ getName()
static std::string CVC4::Configuration::getName |
( |
| ) |
|
|
static |
◆ getNumDebugTags()
static unsigned CVC4::Configuration::getNumDebugTags |
( |
| ) |
|
|
static |
◆ getNumTraceTags()
static unsigned CVC4::Configuration::getNumTraceTags |
( |
| ) |
|
|
static |
◆ getPackageName()
static std::string CVC4::Configuration::getPackageName |
( |
| ) |
|
|
static |
◆ getSubversionBranchName()
static const char* CVC4::Configuration::getSubversionBranchName |
( |
| ) |
|
|
static |
◆ getSubversionId()
static std::string CVC4::Configuration::getSubversionId |
( |
| ) |
|
|
static |
◆ getSubversionRevision()
static unsigned CVC4::Configuration::getSubversionRevision |
( |
| ) |
|
|
static |
◆ getTraceTags()
static char const* const* CVC4::Configuration::getTraceTags |
( |
| ) |
|
|
static |
◆ getVersionExtra()
static std::string CVC4::Configuration::getVersionExtra |
( |
| ) |
|
|
static |
◆ getVersionMajor()
static unsigned CVC4::Configuration::getVersionMajor |
( |
| ) |
|
|
static |
◆ getVersionMinor()
static unsigned CVC4::Configuration::getVersionMinor |
( |
| ) |
|
|
static |
◆ getVersionRelease()
static unsigned CVC4::Configuration::getVersionRelease |
( |
| ) |
|
|
static |
◆ getVersionString()
static std::string CVC4::Configuration::getVersionString |
( |
| ) |
|
|
static |
◆ hasGitModifications()
static bool CVC4::Configuration::hasGitModifications |
( |
| ) |
|
|
static |
◆ hasSubversionModifications()
static bool CVC4::Configuration::hasSubversionModifications |
( |
| ) |
|
|
static |
◆ isAssertionBuild()
static bool CVC4::Configuration::isAssertionBuild |
( |
| ) |
|
|
static |
◆ isBuiltWithAbc()
static bool CVC4::Configuration::isBuiltWithAbc |
( |
| ) |
|
|
static |
◆ isBuiltWithCln()
static bool CVC4::Configuration::isBuiltWithCln |
( |
| ) |
|
|
static |
◆ isBuiltWithCudd()
static bool CVC4::Configuration::isBuiltWithCudd |
( |
| ) |
|
|
static |
◆ isBuiltWithGlpk()
static bool CVC4::Configuration::isBuiltWithGlpk |
( |
| ) |
|
|
static |
◆ isBuiltWithGmp()
static bool CVC4::Configuration::isBuiltWithGmp |
( |
| ) |
|
|
static |
◆ isBuiltWithReadline()
static bool CVC4::Configuration::isBuiltWithReadline |
( |
| ) |
|
|
static |
◆ isBuiltWithTlsSupport()
static bool CVC4::Configuration::isBuiltWithTlsSupport |
( |
| ) |
|
|
static |
◆ isCompetitionBuild()
static bool CVC4::Configuration::isCompetitionBuild |
( |
| ) |
|
|
static |
◆ isCoverageBuild()
static bool CVC4::Configuration::isCoverageBuild |
( |
| ) |
|
|
static |
◆ isDebugBuild()
static bool CVC4::Configuration::isDebugBuild |
( |
| ) |
|
|
static |
◆ isDebugTag()
static bool CVC4::Configuration::isDebugTag |
( |
char const * |
| ) |
|
|
static |
◆ isDumpingBuild()
static bool CVC4::Configuration::isDumpingBuild |
( |
| ) |
|
|
static |
◆ isGitBuild()
static bool CVC4::Configuration::isGitBuild |
( |
| ) |
|
|
static |
◆ isMuzzledBuild()
static bool CVC4::Configuration::isMuzzledBuild |
( |
| ) |
|
|
static |
◆ isProfilingBuild()
static bool CVC4::Configuration::isProfilingBuild |
( |
| ) |
|
|
static |
◆ isProofBuild()
static bool CVC4::Configuration::isProofBuild |
( |
| ) |
|
|
static |
◆ isReplayBuild()
static bool CVC4::Configuration::isReplayBuild |
( |
| ) |
|
|
static |
◆ isStatisticsBuild()
static bool CVC4::Configuration::isStatisticsBuild |
( |
| ) |
|
|
static |
◆ isSubversionBuild()
static bool CVC4::Configuration::isSubversionBuild |
( |
| ) |
|
|
static |
◆ isTraceTag()
static bool CVC4::Configuration::isTraceTag |
( |
char const * |
| ) |
|
|
static |
◆ isTracingBuild()
static bool CVC4::Configuration::isTracingBuild |
( |
| ) |
|
|
static |
◆ licenseIsGpl()
static bool CVC4::Configuration::licenseIsGpl |
( |
| ) |
|
|
static |
The documentation for this class was generated from the following file: