Initial draft of TheoryUF. Should compile without problems. A decent amount of functionality is stubbed out. Still needs a bit of cleanup.

1 files changed, 5 insertions, 0 deletions

diff --git a/src/context/context.h b/src/context/context.h
index ff40542d1..1af4480f9 100644
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -102,6 +102,11 @@ public:
   int getLevel() const { return ((int)d_scopeList.size()) - 1; }
 
   /**
+   * Return the ContextMemoryManager associated with the context.
+   */
+  ContextMemoryManager* getCMM(){ return d_pCMM; }
+
+  /**
    * Save the current state, create a new Scope
    */
   void push();