mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

define setter and getter for var2var in pdd_eval

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2019-12-24 11:44:49 -08:00
parent a9f09beb8e
commit f22d4b50cc
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/math/dd/pdd_eval.h
View file

@ -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();