diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-18 22:02:11 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-18 22:02:11 +0000 |
commit | 394791604a62e19763a8a45328bc5177d91fabf9 (patch) | |
tree | 29027c84c0285da33bac6c5d1366635b9e4db1bc /src/include | |
parent | 477e97cd81afe4b86eea47e9abe6311fc22299fc (diff) |
work on exprs, driver, util
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; |