1 files changed, 61 insertions, 0 deletions
diff --git a/src/core/expr_value.cpp b/src/core/expr_value.cpp
new file mode 100644
index 000000000..b7c65023e
--- /dev/null
+++ b/src/core/expr_value.cpp
@@ -0,0 +1,61 @@
+/*********************
+/** expr_value.cpp
+ ** This file is part of the CVC4 prototype.
+ **
+ ** An expression node.
+ **
+ ** Instances of this class are generally referenced through
+ ** cvc4::Expr rather than by pointer; cvc4::Expr maintains the
+ ** reference count on ExprValue instances and
+ **
+ ** The Analysis of Computer Systems Group (ACSys)
+ ** Courant Institute of Mathematical Sciences
+ ** New York University
+ **/
+
+#include "expr_value.h"
+
+namespace CVC4 {
+
+uint64_t ExprValue::hash() const {
+  uint64_t hash = d_kind;
+
+  for(const_iterator i = begin(); i != end(); ++i)
+    hash = ((hash << 3) | ((hash & 0xE000000000000000ull) >> 61)) ^ i->hash();
+
+  return hash;
+}
+
+ExprValue::iterator ExprValue::begin() {
+  return d_children;
+}
+
+ExprValue::iterator ExprValue::end() {
+  return d_children + d_nchildren;
+}
+
+ExprValue::iterator ExprValue::rbegin() {
+  return d_children + d_nchildren - 1;
+}
+
+ExprValue::iterator ExprValue::rend() {
+  return d_children - 1;
+}
+
+ExprValue::const_iterator ExprValue::begin() const {
+  return d_children;
+}
+
+ExprValue::const_iterator ExprValue::end() const {
+  return d_children + d_nchildren;
+}
+
+ExprValue::const_iterator ExprValue::rbegin() const {
+  return d_children + d_nchildren - 1;
+}
+
+ExprValue::const_iterator ExprValue::rend() const {
+  return d_children - 1;
+}
+
+} /* CVC4 namespace */