diff options
Diffstat (limited to 'src/expr/expr_value.h')
-rw-r--r-- | src/expr/expr_value.h | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/src/expr/expr_value.h b/src/expr/expr_value.h index 4b4b4f612..88984d286 100644 --- a/src/expr/expr_value.h +++ b/src/expr/expr_value.h @@ -14,14 +14,19 @@ ** reference count on ExprValue instances and **/ -#ifndef __CVC4_EXPR_VALUE_H -#define __CVC4_EXPR_VALUE_H +#ifndef __CVC4__EXPR__EXPR_VALUE_H +#define __CVC4__EXPR__EXPR_VALUE_H #include <stdint.h> #include "cvc4_expr.h" namespace CVC4 { +class Expr; +class ExprBuilder; + +namespace expr { + /** * This is an ExprValue. */ @@ -47,11 +52,13 @@ class ExprValue { /** Variable number of child nodes */ Expr d_children[0]; - friend class Expr; - friend class ExprBuilder; + // todo add exprMgr ref in debug case + + friend class CVC4::Expr; + friend class CVC4::ExprBuilder; - ExprValue* inc() { /* FIXME thread safety */ ++d_rc; return this; } - ExprValue* dec() { /* FIXME thread safety */ --d_rc; return this; } + ExprValue* inc(); + ExprValue* dec(); public: /** Hash this expression. @@ -74,6 +81,7 @@ public: const_iterator rend() const; }; -} /* CVC4 namespace */ +}/* CVC4::expr namespace */ +}/* CVC4 namespace */ -#endif /* __CVC4_EXPR_VALUE_H */ +#endif /* __CVC4__EXPR__EXPR_VALUE_H */ |