From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 9 Oct 2019 01:47:53 +0000 (-0700)
Subject: NodeValue: Use 'using' instead of 'typedef'. (#3374)
X-Git-Tag: cvc5-1.0.0~3897
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6e72b68c4a0bbe9285450e82a1f465fb8a01080f;p=cvc5.git

NodeValue: Use 'using' instead of 'typedef'. (#3374)
---

diff --git a/src/expr/node_value.h b/src/expr/node_value.h
index 9e7ccb707..c86a07d6b 100644
--- a/src/expr/node_value.h
+++ b/src/expr/node_value.h
@@ -92,18 +92,18 @@ class NodeValue
  public:
   /* ------------------------------------------------------------------------ */
 
-  typedef NodeValue** nv_iterator;
-  typedef NodeValue const* const* const_nv_iterator;
+  using nv_iterator = NodeValue**;
+  using const_nv_iterator = NodeValue const* const*;
 
   template <class T>
   class iterator
   {
    public:
-    typedef std::random_access_iterator_tag iterator_category;
-    typedef T value_type;
-    typedef std::ptrdiff_t difference_type;
-    typedef T* pointer;
-    typedef T& reference;
+    using iterator_category = std::random_access_iterator_tag;
+    using value_type = T;
+    using difference_type = std::ptrdiff_t;
+    using pointer = T*;
+    using reference = T&;
 
     iterator() : d_i(NULL) {}
     explicit iterator(const_nv_iterator i) : d_i(i) {}