diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-01 09:56:14 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-01 16:56:14 +0000 |
commit | 05a53a2ac405bcd18a84024247145f161809c3b0 (patch) | |
tree | 34241c0a82f79d717ddbfbb0c294f9a09c7edb0c /src/util/sexpr.cpp | |
parent | afaf4413775ff7d6054a5893f1397ad908e0773c (diff) |
Rename namespace CVC5 to cvc5. (#6258)
Diffstat (limited to 'src/util/sexpr.cpp')
-rw-r--r-- | src/util/sexpr.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/util/sexpr.cpp b/src/util/sexpr.cpp index 3c93ef5ae..85dd038bb 100644 --- a/src/util/sexpr.cpp +++ b/src/util/sexpr.cpp @@ -33,7 +33,7 @@ #include "util/ostream_util.h" #include "util/smt2_quote_string.h" -namespace CVC5 { +namespace cvc5 { const int PrettySExprs::s_iosIndex = std::ios_base::xalloc(); @@ -90,7 +90,7 @@ SExpr::SExpr(const SExpr& other) Assert((d_children == NULL) == isAtom()); } -SExpr::SExpr(const CVC5::Integer& value) +SExpr::SExpr(const cvc5::Integer& value) : d_sexprType(SEXPR_INTEGER), d_integerValue(value), d_rationalValue(0), @@ -127,7 +127,7 @@ SExpr::SExpr(unsigned long int value) d_stringValue(""), d_children(NULL) {} -SExpr::SExpr(const CVC5::Rational& value) +SExpr::SExpr(const cvc5::Rational& value) : d_sexprType(SEXPR_RATIONAL), d_integerValue(0), d_rationalValue(value), @@ -308,13 +308,13 @@ std::string SExpr::getValue() const { return std::string(); } -const CVC5::Integer& SExpr::getIntegerValue() const +const cvc5::Integer& SExpr::getIntegerValue() const { PrettyCheckArgument(isInteger(), this); return d_integerValue; } -const CVC5::Rational& SExpr::getRationalValue() const +const cvc5::Rational& SExpr::getRationalValue() const { PrettyCheckArgument(isRational(), this); return d_rationalValue; @@ -383,4 +383,4 @@ SExpr SExpr::parseListOfListOfAtoms( return SExpr(parsedListsOfAtoms); } -} // namespace CVC5 +} // namespace cvc5 |