From 7667f12084b66132c99279c94a7817cc58b012ce Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Fri, 12 Oct 2012 12:38:54 +0000
Subject: Latest changes to model code

---
 src/theory/model.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/theory/model.h')

diff --git a/src/theory/model.h b/src/theory/model.h
index 50aa8b1b7..acfcb4849 100644
--- a/src/theory/model.h
+++ b/src/theory/model.h
@@ -249,6 +249,8 @@ protected:
   virtual void processBuildModel(TheoryModel* m, bool fullModel);
   /** normalize representative */
   Node normalize(TheoryModel* m, TNode r, std::map<Node, Node>& constantReps, bool evalOnly);
+  bool isAssignable(TNode n);
+
 public:
   TheoryEngineModelBuilder(TheoryEngine* te);
   virtual ~TheoryEngineModelBuilder(){}
-- 
cgit v1.2.3