src/util/configuration.cpp

   1 /*********************                                                        */
   2 /*! \file configuration.cpp
   3  ** \verbatim
   4  ** Original author: mdeters
   5  ** Major contributors: none
   6  ** Minor contributors (to current version): none
   7  ** This file is part of the CVC4 prototype.
   8  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
   9  ** Courant Institute of Mathematical Sciences
  10  ** New York University
  11  ** See the file COPYING in the top-level source directory for licensing
  12  ** information.\endverbatim
  13  **
  14  ** \brief Implementation of Configuration class, which provides compile-time
  15  ** configuration information about the CVC4 library.
  16  **
  17  ** Implementation of Configuration class, which provides compile-time
  18  ** configuration information about the CVC4 library.
  19  **/
  20
  21 #include "util/configuration.h"
  22 #include "util/configuration_private.h"
  23
  24 using namespace std;
  25
  26 namespace CVC4 {
  27
  28 bool Configuration::isDebugBuild() {
  29   return IS_DEBUG_BUILD;
  30 }
  31
  32 bool Configuration::isTracingBuild() {
  33   return IS_TRACING_BUILD;
  34 }
  35
  36 bool Configuration::isMuzzledBuild() {
  37   return IS_MUZZLED_BUILD;
  38 }
  39
  40 bool Configuration::isAssertionBuild() {
  41   return IS_ASSERTIONS_BUILD;
  42 }
  43
  44 bool Configuration::isCoverageBuild() {
  45   return IS_COVERAGE_BUILD;
  46 }
  47
  48 bool Configuration::isProfilingBuild() {
  49   return IS_PROFILING_BUILD;
  50 }
  51
  52 bool Configuration::isCompetitionBuild() {
  53   return IS_COMPETITION_BUILD;
  54 }
  55
  56 string Configuration::getPackageName() {
  57   return PACKAGE_NAME;
  58 }
  59
  60 string Configuration::getVersionString() {
  61   return CVC4_RELEASE_STRING;
  62 }
  63
  64 unsigned Configuration::getVersionMajor() {
  65   return CVC4_MAJOR;
  66 }
  67
  68 unsigned Configuration::getVersionMinor() {
  69   return CVC4_MINOR;
  70 }
  71
  72 unsigned Configuration::getVersionRelease() {
  73   return CVC4_RELEASE;
  74 }
  75
  76 string Configuration::about() {
  77   return CVC4_ABOUT_STRING;
  78 }
  79
  80 bool Configuration::isBuiltWithGmp() {
  81   return IS_GMP_BUILD;
  82 }
  83
  84 bool Configuration::isBuiltWithCln() {
  85   return IS_CLN_BUILD;
  86 }
  87
  88 bool Configuration::isBuiltWithTlsSupport() {
  89   return USING_TLS;
  90 }
  91
  92 }/* CVC4 namespace */