1 /********************* */
2 /*! \file configuration.h
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 Interface to a public class that provides compile-time information
15 ** about the CVC4 library.
17 ** Interface to a public class that provides compile-time information
18 ** about the CVC4 library.
21 #include "cvc4_public.h"
23 #ifndef __CVC4__CONFIGURATION_H
24 #define __CVC4__CONFIGURATION_H
31 * Represents the (static) configuration of CVC4.
33 class CVC4_PUBLIC Configuration
{
35 /** Private default ctor: Disallow construction of this class */
40 static bool isDebugBuild();
42 static bool isTracingBuild();
44 static bool isMuzzledBuild();
46 static bool isAssertionBuild();
48 static bool isCoverageBuild();
50 static bool isProfilingBuild();
52 static bool isCompetitionBuild();
54 static std::string
getPackageName();
56 static std::string
getVersionString();
58 static unsigned getVersionMajor();
60 static unsigned getVersionMinor();
62 static unsigned getVersionRelease();
64 static std::string
about();
66 static bool isBuiltWithGmp();
68 static bool isBuiltWithCln();
70 static bool isBuiltWithTlsSupport();
75 #endif /* __CVC4__CONFIGURATION_H */