From f22d4b50cc67fe7a416b249d184e20587eb5ea69 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 24 Dec 2019 11:44:49 -0800
Subject: [PATCH] define setter and getter for var2var in pdd_eval

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/dd/pdd_eval.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/math/dd/pdd_eval.h b/src/math/dd/pdd_eval.h
index e4ca7f88c..ac590686b 100644
--- a/src/math/dd/pdd_eval.h
+++ b/src/math/dd/pdd_eval.h
@@ -30,8 +30,9 @@ public:
     
     pdd_eval(pdd_manager& m): m(m) {}
     
-    void operator=(std::function<rational (unsigned)>& i2v) { m_var2val = i2v; }
-
+    std::function<rational (unsigned)>& var2val() { return m_var2val; } // setter
+    const std::function<rational (unsigned)>& var2val() const { return m_var2val; } // getter
+    
     rational operator()(pdd const& p) {
         if (p.is_val()) {
             return p.val();