diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-23 16:42:12 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-23 16:42:12 +0000 |
commit | f6968899de4d27c5bc986c3ac89972fbbe35c361 (patch) | |
tree | dd3461b2e08e1568ca9aff97a56e93a0445b3abc /src/include/cvc4_expr.h | |
parent | 95e5ca98d4c22897c0192a78ebeeb05e4838db2b (diff) |
fixups, file comments
Diffstat (limited to 'src/include/cvc4_expr.h')
-rw-r--r-- | src/include/cvc4_expr.h | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/src/include/cvc4_expr.h b/src/include/cvc4_expr.h index 1f5ac659d..36d771647 100644 --- a/src/include/cvc4_expr.h +++ b/src/include/cvc4_expr.h @@ -1,5 +1,5 @@ /********************* -*- C++ -*- */ -/** expr.h +/** cvc4_expr.h ** This file is part of the CVC4 prototype. ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences @@ -15,6 +15,8 @@ #include <vector> #include <stdint.h> + +#include "cvc4_config.h" #include "expr/kind.h" namespace CVC4 { @@ -29,7 +31,7 @@ using CVC4::expr::ExprValue; * Encapsulation of an ExprValue pointer. The reference count is * maintained in the ExprValue. */ -class Expr { +class CVC4_PUBLIC Expr { /** A convenient null-valued encapsulated pointer */ static Expr s_null; @@ -49,17 +51,17 @@ class Expr { friend class ExprBuilder; public: - Expr(const Expr&); + CVC4_PUBLIC Expr(const Expr&); /** Destructor. Decrements the reference count and, if zero, * collects the ExprValue. */ - ~Expr(); + CVC4_PUBLIC ~Expr(); - Expr& operator=(const Expr&); + Expr& operator=(const Expr&) CVC4_PUBLIC; /** Access to the encapsulated expression. * @return the encapsulated expression. */ - ExprValue* operator->() const; + ExprValue* operator->() const CVC4_PUBLIC; uint64_t hash() const; |