diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-28 01:10:16 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-28 01:10:16 +0000 |
commit | cf287f593931a1c4fc141e18845b4c5d36879889 (patch) | |
tree | 4dad0f555b7db01fbeedcd9eace394cd8f7a0fb4 /src/expr/expr_template.h | |
parent | b7b1c1d99ffa333704af2c8ecd60b1af8833a28b (diff) |
Improved compatibility layer, now supports quantifiers. Also incorporates
numerous bugfixes, and the cvc3 system test is enabled.
Diffstat (limited to 'src/expr/expr_template.h')
-rw-r--r-- | src/expr/expr_template.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index e1b5cc4e6..395bdff3a 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -102,12 +102,13 @@ private: protected: TypeCheckingException() throw() : Exception() {} - TypeCheckingException(const Expr& expr, std::string message) throw(); TypeCheckingException(ExprManager* em, const TypeCheckingExceptionPrivate* exc) throw(); public: + TypeCheckingException(const Expr& expr, std::string message) throw(); + /** Copy constructor */ TypeCheckingException(const TypeCheckingException& t) throw(); @@ -299,8 +300,10 @@ public: * Iterator type for the children of an Expr. */ class const_iterator : public std::iterator<std::input_iterator_tag, Expr> { + ExprManager* d_exprManager; void* d_iterator; - explicit const_iterator(void*); + + explicit const_iterator(ExprManager*, void*); friend class Expr;// to access void* constructor @@ -957,7 +960,7 @@ public: ${getConst_instantiations} -#line 961 "${template}" +#line 964 "${template}" namespace expr { |