499b0c8e21fbc7fd76ea2d748c9f66df76c2e9cd
1 /********************* */
2 /*! \file configuration.cpp
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
14 ** \brief Implementation of Configuration class, which provides compile-time
15 ** configuration information about the CVC4 library.
17 ** Implementation of Configuration class, which provides compile-time
18 ** configuration information about the CVC4 library.
21 #include "util/configuration.h"
22 #include "util/configuration_private.h"
28 bool Configuration::isDebugBuild() {
29 return IS_DEBUG_BUILD
;
32 bool Configuration::isTracingBuild() {
33 return IS_TRACING_BUILD
;
36 bool Configuration::isMuzzledBuild() {
37 return IS_MUZZLED_BUILD
;
40 bool Configuration::isAssertionBuild() {
41 return IS_ASSERTIONS_BUILD
;
44 bool Configuration::isCoverageBuild() {
45 return IS_COVERAGE_BUILD
;
48 bool Configuration::isProfilingBuild() {
49 return IS_PROFILING_BUILD
;
52 bool Configuration::isCompetitionBuild() {
53 return IS_COMPETITION_BUILD
;
56 string
Configuration::getPackageName() {
60 string
Configuration::getVersionString() {
61 return CVC4_RELEASE_STRING
;
64 unsigned Configuration::getVersionMajor() {
68 unsigned Configuration::getVersionMinor() {
72 unsigned Configuration::getVersionRelease() {
76 string
Configuration::about() {
77 return CVC4_ABOUT_STRING
;
80 bool Configuration::isBuiltWithGmp() {
84 bool Configuration::isBuiltWithCln() {
88 bool Configuration::isBuiltWithTlsSupport() {