cvc4-1.3
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 isBuiltWithGmp();
87 
88  static bool isBuiltWithCln();
89 
90  static bool isBuiltWithGlpk();
91 
92  static bool isBuiltWithCudd();
93 
94  static bool isBuiltWithTlsSupport();
95 
96  /* Return the number of debug tags */
97  static unsigned getNumDebugTags();
98  /* Return a sorted array of the debug tags name */
99  static char const* const* getDebugTags();
100  /* Test if the given argument is a known debug tag name */
101  static bool isDebugTag(char const *);
102 
103  /* Return the number of trace tags */
104  static unsigned getNumTraceTags();
105  /* Return a sorted array of the trace tags name */
106  static char const* const* getTraceTags();
107  /* Test if the given argument is a known trace tag name */
108  static bool isTraceTag(char const *);
109 
110  static bool isGitBuild();
111  static const char* getGitBranchName();
112  static const char* getGitCommit();
113  static bool hasGitModifications();
114  static std::string getGitId();
115 
116  static bool isSubversionBuild();
117  static const char* getSubversionBranchName();
118  static unsigned getSubversionRevision();
119  static bool hasSubversionModifications();
120  static std::string getSubversionId();
121 
122  static std::string getCompiler();
123  static std::string getCompiledDateTime();
124 
125 };/* class Configuration */
126 
127 }/* CVC4 namespace */
128 
129 #endif /* __CVC4__CONFIGURATION_H */
This is CVC4 release version For build and installation please see the INSTALL file included with this distribution This first official release of CVC4 is the result of more than three years of efforts by researchers at New York University and The University of Iowa The project leaders are Clark please refer to the AUTHORS file in the source distribution CVC4 is a tool for determining the satisfiability of a first order formula modulo a first order CVC CVC3 but does not directly incorporate code from any previous version CVC4 is intended to be an open and extensible SMT engine It can be used as a stand alone tool or as a library It has been designed to increase the performance and reduce the memory overhead of its predecessors It is written entirely in C and is released under a free software see the INSTALL file that comes with this distribution We recommend that you visit our CVC4 tutorials online please write to the cvc users cs nyu edu mailing list *if you need to report a bug with CVC4
Definition: README:39
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...