Moving the template stuff back into the header in order to use CDList.

diff --git a/src/context/context.cpp b/src/context/context.cpp
index 5d8ea933bff8e5d7836cf906074524629d303bce..dce1d0a17b4d7fd1c3fe0c8126ab217fb15707a9 100644 (file)
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -15,8 +15,6 @@
 
 #include "context/context.h"
 #include "util/Assert.h"
-#include <cstdlib>
-
 
 namespace CVC4 {
 namespace context {
@@ -208,7 +206,6 @@ ContextNotifyObj::ContextNotifyObj(Context* pContext, bool preNotify) {
   }
 }
 
-
 ContextNotifyObj::~ContextNotifyObj()
 {
   if (d_pCNOnext != NULL) {
@@ -219,28 +216,6 @@ ContextNotifyObj::~ContextNotifyObj()
   }
 }
 
-
-template<class T>
-void CDList<T>::grow() {
-  if (d_list == NULL) {
-    // Allocate an initial list if one does not yet exist
-    d_sizeAlloc = 10;
-    d_list = malloc(sizeof(T)*d_sizeAlloc);
-  }
-  else {
-    // Allocate a new array with double the size
-    d_sizeAlloc *= 2;
-    T* newList = malloc(sizeof(T)*d_sizeAlloc);
-
-    // Copy the old data
-    memcpy(d_list, newList, sizeof(T)*d_size);
-
-    // Free the old list
-    free(d_list);
-  }
-}
-
-
 } /* CVC4::context namespace */
 
 

diff --git a/src/context/context.h b/src/context/context.h
index 244a8b7925365c3950a4dac80aafab8dd832b55d..3d44bb48c1b5991aee6419e0d39281838ee41f17 100644 (file)
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -18,6 +18,8 @@
 
 #include "context/context_mm.h"
 #include "util/Assert.h"
+#include <cstdlib>
+#include <cstring>
 
 namespace CVC4 {
 namespace context {
@@ -622,7 +624,24 @@ class CDList :public ContextObj {
   /**
    * Reallocate the array with more space.
    */
-  void grow();
+  void grow() {
+    if (d_list == NULL) {
+      // Allocate an initial list if one does not yet exist
+      d_sizeAlloc = 10;
+      d_list = (T*)malloc(sizeof(T)*d_sizeAlloc);
+    }
+    else {
+      // Allocate a new array with double the size
+      d_sizeAlloc *= 2;
+      T* newList = (T*)malloc(sizeof(T)*d_sizeAlloc);
+
+      // Copy the old data
+      memcpy(d_list, newList, sizeof(T)*d_size);
+
+      // Free the old list
+      free(d_list);
+    }
+  }
 
 public:
   /**