cvc4-1.4
configuration.h
Go to the documentation of this file.
1 /********************* */
19 #include "cvc4_public.h"
20 
21 #ifndef __CVC4__CONFIGURATION_H
22 #define __CVC4__CONFIGURATION_H
23 
24 #include <string>
25 
26 namespace CVC4 {
27 
32 
34  Configuration();
35 
36  // these constants are filled in by the build system
37  static const bool IS_SUBVERSION_BUILD;
38  static const char* const SUBVERSION_BRANCH_NAME;
39  static const unsigned SUBVERSION_REVISION;
40  static const bool SUBVERSION_HAS_MODIFICATIONS;
41  static const bool IS_GIT_BUILD;
42  static const char* const GIT_BRANCH_NAME;
43  static const char* const GIT_COMMIT;
44  static const bool GIT_HAS_MODIFICATIONS;
45 
46 public:
47 
48  static std::string getName();
49 
50  static bool isDebugBuild();
51 
52  static bool isStatisticsBuild();
53 
54  static bool isReplayBuild();
55 
56  static bool isTracingBuild();
57 
58  static bool isDumpingBuild();
59 
60  static bool isMuzzledBuild();
61 
62  static bool isAssertionBuild();
63 
64  static bool isProofBuild();
65 
66  static bool isCoverageBuild();
67 
68  static bool isProfilingBuild();
69 
70  static bool isCompetitionBuild();
71 
72  static std::string getPackageName();
73 
74  static std::string getVersionString();
75 
76  static unsigned getVersionMajor();
77 
78  static unsigned getVersionMinor();
79 
80  static unsigned getVersionRelease();
81 
82  static std::string getVersionExtra();
83 
84  static std::string about();
85 
86  static bool licenseIsGpl();
87 
88  static bool isBuiltWithGmp();
89 
90  static bool isBuiltWithCln();
91 
92  static bool isBuiltWithGlpk();
93 
94  static bool isBuiltWithAbc();
95 
96  static bool isBuiltWithReadline();
97 
98  static bool isBuiltWithCudd();
99 
100  static bool isBuiltWithTlsSupport();
101 
102  /* Return the number of debug tags */
103  static unsigned getNumDebugTags();
104  /* Return a sorted array of the debug tags name */
105  static char const* const* getDebugTags();
106  /* Test if the given argument is a known debug tag name */
107  static bool isDebugTag(char const *);
108 
109  /* Return the number of trace tags */
110  static unsigned getNumTraceTags();
111  /* Return a sorted array of the trace tags name */
112  static char const* const* getTraceTags();
113  /* Test if the given argument is a known trace tag name */
114  static bool isTraceTag(char const *);
115 
116  static bool isGitBuild();
117  static const char* getGitBranchName();
118  static const char* getGitCommit();
119  static bool hasGitModifications();
120  static std::string getGitId();
121 
122  static bool isSubversionBuild();
123  static const char* getSubversionBranchName();
124  static unsigned getSubversionRevision();
125  static bool hasSubversionModifications();
126  static std::string getSubversionId();
127 
128  static std::string getCompiler();
129  static std::string getCompiledDateTime();
130 
131 };/* class Configuration */
132 
133 }/* CVC4 namespace */
134 
135 #endif /* __CVC4__CONFIGURATION_H */
Definition: options.h:60
Represents the (static) configuration of CVC4.
Definition: configuration.h:31
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
Macros that should be defined everywhere during the building of the libraries and driver binary...