diff options
Diffstat (limited to 'src/include')
-rw-r--r-- | src/include/cvc4_expr.h | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/include/cvc4_expr.h b/src/include/cvc4_expr.h index 17e7f4f82..3d7a35fc8 100644 --- a/src/include/cvc4_expr.h +++ b/src/include/cvc4_expr.h @@ -38,6 +38,9 @@ class Expr { * Increments the reference count. */ explicit Expr(ExprValue*); + typedef Expr* iterator; + typedef Expr const* const_iterator; + public: Expr(const Expr&); @@ -49,11 +52,7 @@ public: /** Access to the encapsulated expression. * @return the encapsulated expression. */ - ExprValue* operator->(); - - /** Const access to the encapsulated expression. - * @return the encapsulated expression [const]. */ - const ExprValue* operator->() const; + ExprValue* operator->() const; uint64_t hash() const; |