CVC4::Configuration Class Reference

Represents the (static) configuration of CVC4. More...

`#include <configuration.h>`

## Static Public Member Functions

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 ()
static unsigned | getNumDebugTags ()
static char const *const * | getDebugTags ()
static bool | isDebugTag (char const *)
static unsigned | getNumTraceTags ()
static char const *const * | getTraceTags ()
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 ()

## Detailed Description

Represents the (static) configuration of CVC4.

Definition at line 31 of file configuration.h.

## Member Function Documentation

## about()

static std::string CVC4::Configuration::about | ( |  | ) |

static

## getCompiledDateTime()

static std::string CVC4::Configuration::getCompiledDateTime | ( |  | ) |

static

## getCompiler()

static std::string CVC4::Configuration::getCompiler | ( |  | ) |

static

## getDebugTags()

static char const *const * CVC4::Configuration::getDebugTags | ( |  | ) |

static

## getGitBranchName()

static const char * CVC4::Configuration::getGitBranchName | ( |  | ) |

static

## getGitCommit()

static const char * CVC4::Configuration::getGitCommit | ( |  | ) |

static

## getGitId()

static std::string CVC4::Configuration::getGitId | ( |  | ) |

static

## getName()

static std::string CVC4::Configuration::getName | ( |  | ) |

static

## getNumDebugTags()

static unsigned CVC4::Configuration::getNumDebugTags | ( |  | ) |

static

## getNumTraceTags()

static unsigned CVC4::Configuration::getNumTraceTags | ( |  | ) |

static

## getPackageName()

static std::string CVC4::Configuration::getPackageName | ( |  | ) |

static

## getSubversionBranchName()

static const char * CVC4::Configuration::getSubversionBranchName | ( |  | ) |

static

## getSubversionId()

static std::string CVC4::Configuration::getSubversionId | ( |  | ) |

static

## getSubversionRevision()

static unsigned CVC4::Configuration::getSubversionRevision | ( |  | ) |

static

## getTraceTags()

static char const *const * CVC4::Configuration::getTraceTags | ( |  | ) |

static

## getVersionExtra()

static std::string CVC4::Configuration::getVersionExtra | ( |  | ) |

static

## getVersionMajor()

static unsigned CVC4::Configuration::getVersionMajor | ( |  | ) |

static

## getVersionMinor()

static unsigned CVC4::Configuration::getVersionMinor | ( |  | ) |

static

## getVersionRelease()

static unsigned CVC4::Configuration::getVersionRelease | ( |  | ) |

static

## getVersionString()

static std::string CVC4::Configuration::getVersionString | ( |  | ) |

static

## hasGitModifications()

static bool CVC4::Configuration::hasGitModifications | ( |  | ) |

static

## hasSubversionModifications()

static bool CVC4::Configuration::hasSubversionModifications | ( |  | ) |

static

## isAssertionBuild()

static bool CVC4::Configuration::isAssertionBuild | ( |  | ) |

static

## isBuiltWithAbc()

static bool CVC4::Configuration::isBuiltWithAbc | ( |  | ) |

static

## isBuiltWithCln()

static bool CVC4::Configuration::isBuiltWithCln | ( |  | ) |

static

## isBuiltWithCudd()

static bool CVC4::Configuration::isBuiltWithCudd | ( |  | ) |

static

## isBuiltWithGlpk()

static bool CVC4::Configuration::isBuiltWithGlpk | ( |  | ) |

static

## isBuiltWithGmp()

static bool CVC4::Configuration::isBuiltWithGmp | ( |  | ) |

static

## isBuiltWithReadline()

static bool CVC4::Configuration::isBuiltWithReadline | ( |  | ) |

static

## isBuiltWithTlsSupport()

static bool CVC4::Configuration::isBuiltWithTlsSupport | ( |  | ) |

static

## isCompetitionBuild()

static bool CVC4::Configuration::isCompetitionBuild | ( |  | ) |

static

## isCoverageBuild()

static bool CVC4::Configuration::isCoverageBuild | ( |  | ) |

static

## isDebugBuild()

static bool CVC4::Configuration::isDebugBuild | ( |  | ) |

static

## isDebugTag()

static bool CVC4::Configuration::isDebugTag | ( | char const * |  | ) |

static

## isDumpingBuild()

static bool CVC4::Configuration::isDumpingBuild | ( |  | ) |

static

## isGitBuild()

static bool CVC4::Configuration::isGitBuild | ( |  | ) |

static

## isMuzzledBuild()

static bool CVC4::Configuration::isMuzzledBuild | ( |  | ) |

static

## isProfilingBuild()

static bool CVC4::Configuration::isProfilingBuild | ( |  | ) |

static

## isProofBuild()

static bool CVC4::Configuration::isProofBuild | ( |  | ) |

static

## isReplayBuild()

static bool CVC4::Configuration::isReplayBuild | ( |  | ) |

static

## isStatisticsBuild()

static bool CVC4::Configuration::isStatisticsBuild | ( |  | ) |

static

## isSubversionBuild()

static bool CVC4::Configuration::isSubversionBuild | ( |  | ) |

static

## isTraceTag()

static bool CVC4::Configuration::isTraceTag | ( | char const * |  | ) |

static

## isTracingBuild()

static bool CVC4::Configuration::isTracingBuild | ( |  | ) |

static

## licenseIsGpl()

static bool CVC4::Configuration::licenseIsGpl | ( |  | ) |

static

The documentation for this class was generated from the following file:

- src/util/configuration.h