configuration.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__CONFIGURATION_H
#define __CVC4__CONFIGURATION_H
#include <string>
namespace CVC4 {
class CVC4_PUBLIC Configuration {
Configuration();
// these constants are filled in by the build system
static const bool IS_SUBVERSION_BUILD;
static const char* const SUBVERSION_BRANCH_NAME;
static const unsigned SUBVERSION_REVISION;
static const bool SUBVERSION_HAS_MODIFICATIONS;
static const bool IS_GIT_BUILD;
static const char* const GIT_BRANCH_NAME;
static const char* const GIT_COMMIT;
static const bool GIT_HAS_MODIFICATIONS;
public:
static std::string getName();
static bool isDebugBuild();
static bool isStatisticsBuild();
static bool isReplayBuild();
static bool isTracingBuild();
static bool isDumpingBuild();
static bool isMuzzledBuild();
static bool isAssertionBuild();
static bool isProofBuild();
static bool isCoverageBuild();
static bool isProfilingBuild();
static bool isCompetitionBuild();
static std::string getPackageName();
static std::string getVersionString();
static unsigned getVersionMajor();
static unsigned getVersionMinor();
static unsigned getVersionRelease();
static std::string getVersionExtra();
static std::string about();
static bool licenseIsGpl();
static bool isBuiltWithGmp();
static bool isBuiltWithCln();
static bool isBuiltWithGlpk();
static bool isBuiltWithAbc();
static bool isBuiltWithReadline();
static bool isBuiltWithCudd();
static bool isBuiltWithTlsSupport();
/* Return the number of debug tags */
static unsigned getNumDebugTags();
/* Return a sorted array of the debug tags name */
static char const* const* getDebugTags();
/* Test if the given argument is a known debug tag name */
static bool isDebugTag(char const *);
/* Return the number of trace tags */
static unsigned getNumTraceTags();
/* Return a sorted array of the trace tags name */
static char const* const* getTraceTags();
/* Test if the given argument is a known trace tag name */
static bool isTraceTag(char const *);
static bool isGitBuild();
static const char* getGitBranchName();
static const char* getGitCommit();
static bool hasGitModifications();
static std::string getGitId();
static bool isSubversionBuild();
static const char* getSubversionBranchName();
static unsigned getSubversionRevision();
static bool hasSubversionModifications();
static std::string getSubversionId();
static std::string getCompiler();
static std::string getCompiledDateTime();
};/* class Configuration */
}/* CVC4 namespace */
#endif /* __CVC4__CONFIGURATION_H */
CVC4::Configuration
Represents the (static) configuration of CVC4.
Definition configuration.h:31
CVC4::Configuration::getVersionString
static std::string getVersionString()
CVC4::Configuration::getGitBranchName
static const char * getGitBranchName()
CVC4::Configuration::getName
static std::string getName()
CVC4::Configuration::getGitCommit
static const char * getGitCommit()
CVC4::Configuration::isAssertionBuild
static bool isAssertionBuild()
CVC4::Configuration::getCompiledDateTime
static std::string getCompiledDateTime()
CVC4::Configuration::hasSubversionModifications
static bool hasSubversionModifications()
CVC4::Configuration::isStatisticsBuild
static bool isStatisticsBuild()
CVC4::Configuration::isDumpingBuild
static bool isDumpingBuild()
CVC4::Configuration::isSubversionBuild
static bool isSubversionBuild()
CVC4::Configuration::isProofBuild
static bool isProofBuild()
CVC4::Configuration::isReplayBuild
static bool isReplayBuild()
CVC4::Configuration::isCompetitionBuild
static bool isCompetitionBuild()
CVC4::Configuration::getNumTraceTags
static unsigned getNumTraceTags()
CVC4::Configuration::getSubversionRevision
static unsigned getSubversionRevision()
CVC4::Configuration::getSubversionBranchName
static const char * getSubversionBranchName()
CVC4::Configuration::getNumDebugTags
static unsigned getNumDebugTags()
CVC4::Configuration::isGitBuild
static bool isGitBuild()
CVC4::Configuration::isBuiltWithGmp
static bool isBuiltWithGmp()
CVC4::Configuration::hasGitModifications
static bool hasGitModifications()
CVC4::Configuration::isBuiltWithTlsSupport
static bool isBuiltWithTlsSupport()
CVC4::Configuration::about
static std::string about()
CVC4::Configuration::isDebugBuild
static bool isDebugBuild()
CVC4::Configuration::getVersionRelease
static unsigned getVersionRelease()
CVC4::Configuration::getVersionMinor
static unsigned getVersionMinor()
CVC4::Configuration::isBuiltWithAbc
static bool isBuiltWithAbc()
CVC4::Configuration::isTracingBuild
static bool isTracingBuild()
CVC4::Configuration::getTraceTags
static char const *const * getTraceTags()
CVC4::Configuration::isMuzzledBuild
static bool isMuzzledBuild()
CVC4::Configuration::licenseIsGpl
static bool licenseIsGpl()
CVC4::Configuration::isBuiltWithCudd
static bool isBuiltWithCudd()
CVC4::Configuration::isTraceTag
static bool isTraceTag(char const *)
CVC4::Configuration::getVersionMajor
static unsigned getVersionMajor()
CVC4::Configuration::isBuiltWithReadline
static bool isBuiltWithReadline()
CVC4::Configuration::isProfilingBuild
static bool isProfilingBuild()
CVC4::Configuration::isCoverageBuild
static bool isCoverageBuild()
CVC4::Configuration::getCompiler
static std::string getCompiler()
CVC4::Configuration::getVersionExtra
static std::string getVersionExtra()
CVC4::Configuration::isBuiltWithGlpk
static bool isBuiltWithGlpk()
CVC4::Configuration::isDebugTag
static bool isDebugTag(char const *)
CVC4::Configuration::getPackageName
static std::string getPackageName()
CVC4::Configuration::getSubversionId
static std::string getSubversionId()
CVC4::Configuration::getGitId
static std::string getGitId()
CVC4::Configuration::getDebugTags
static char const *const * getDebugTags()
CVC4::Configuration::isBuiltWithCln
static bool isBuiltWithCln()
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition cvc4_public.h:30
CVC4
Definition expr.h:106