From 883762d54a7352997bb496a0d75e29d48df851f7 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 28 Mar 2014 12:27:06 +0000 Subject: [PATCH] removed dependency of bvsls on goal_refs Signed-off-by: Christoph M. Wintersteiger --- src/tactic/sls/sls_tracker.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/tactic/sls/sls_tracker.h b/src/tactic/sls/sls_tracker.h index 1b451e8fd..e29cebe90 100644 --- a/src/tactic/sls/sls_tracker.h +++ b/src/tactic/sls/sls_tracker.h @@ -276,13 +276,13 @@ public: } #endif - void uct_forget(goal_ref const & g) { + void uct_forget(ptr_vector & as) { expr * e; unsigned touched_old, touched_new; - for (unsigned i = 0; i < g->size(); i++) + for (unsigned i = 0; i < as.size(); i++) { - e = g->form(i); + e = as[i]; touched_old = m_scores.find(e).touched; touched_new = (unsigned)((touched_old - 1) * _UCT_FORGET_FACTOR_ + 1); m_scores.find(e).touched = touched_new;