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/expr/node_value.h | |
parent | afaf4413775ff7d6054a5893f1397ad908e0773c (diff) |
Rename namespace CVC5 to cvc5. (#6258)
Diffstat (limited to 'src/expr/node_value.h')
-rw-r--r-- | src/expr/node_value.h | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h index ecc054a75..3815ea5be 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -32,7 +32,7 @@ #include "expr/kind.h" #include "options/language.h" -namespace CVC5 { +namespace cvc5 { template <bool ref_count> class NodeTemplate; class TypeNode; @@ -45,13 +45,13 @@ namespace expr { namespace kind { namespace metakind { - template < ::CVC5::Kind k, bool pool> + template < ::cvc5::Kind k, bool pool> struct NodeValueConstCompare; struct NodeValueCompare; struct NodeValueConstPrinter; - void deleteNodeValueConstant(::CVC5::expr::NodeValue* nv); + void deleteNodeValueConstant(::cvc5::expr::NodeValue* nv); } // namespace metakind } // namespace kind @@ -63,19 +63,19 @@ namespace expr { class NodeValue { template <bool> - friend class ::CVC5::NodeTemplate; - friend class ::CVC5::TypeNode; + friend class ::cvc5::NodeTemplate; + friend class ::cvc5::TypeNode; template <unsigned nchild_thresh> - friend class ::CVC5::NodeBuilder; - friend class ::CVC5::NodeManager; + friend class ::cvc5::NodeBuilder; + friend class ::cvc5::NodeManager; template <Kind k, bool pool> - friend struct ::CVC5::kind::metakind::NodeValueConstCompare; + friend struct ::cvc5::kind::metakind::NodeValueConstCompare; - friend struct ::CVC5::kind::metakind::NodeValueCompare; - friend struct ::CVC5::kind::metakind::NodeValueConstPrinter; + friend struct ::cvc5::kind::metakind::NodeValueCompare; + friend struct ::cvc5::kind::metakind::NodeValueConstPrinter; - friend void ::CVC5::kind::metakind::deleteNodeValueConstant(NodeValue* nv); + friend void ::cvc5::kind::metakind::deleteNodeValueConstant(NodeValue* nv); friend class RefCountGuard; @@ -396,11 +396,11 @@ struct NodeValueIDEquality { inline std::ostream& operator<<(std::ostream& out, const NodeValue& nv); } // namespace expr -} // namespace CVC5 +} // namespace cvc5 #include "expr/node_manager.h" -namespace CVC5 { +namespace cvc5 { namespace expr { inline NodeValue::NodeValue(int) : @@ -497,11 +497,11 @@ inline NodeValue* NodeValue::getChild(int i) const { } } // namespace expr -} // namespace CVC5 +} // namespace cvc5 #include "expr/node.h" -namespace CVC5 { +namespace cvc5 { namespace expr { template <typename T> @@ -545,6 +545,6 @@ static void __attribute__((used)) debugPrintRawNodeValue(const expr::NodeValue* } #endif /* CVC4_DEBUG */ -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__EXPR__NODE_VALUE_H */ |