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