From cb683389f66852dabd449a234d49b67de7023d6a Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Tue, 5 Jun 2018 16:20:55 -0700 Subject: [PATCH] spacer::context: Factor params into udpt_params --- src/muz/spacer/spacer_context.cpp | 8 ++++++-- src/muz/spacer/spacer_context.h | 2 ++ 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp index 3f3433cc6..8806afb6a 100644 --- a/src/muz/spacer/spacer_context.cpp +++ b/src/muz/spacer/spacer_context.cpp @@ -2244,8 +2244,7 @@ context::context(fixedpoint_params const& params, m_pool1 = alloc(solver_pool, pool1_base.get(), max_num_contexts); m_pool2 = alloc(solver_pool, pool2_base.get(), max_num_contexts); - m_random.set_seed(m_params.spacer_random_seed()); - m_children_order = static_cast(m_params.spacer_order_children()); + updt_params() } context::~context() @@ -2254,6 +2253,11 @@ context::~context() reset(); } +void context::updt_params() { + m_random.set_seed(m_params.spacer_random_seed()); + m_children_order = static_cast(m_params.spacer_order_children()); +} + void context::reset() { TRACE("spacer", tout << "\n";); diff --git a/src/muz/spacer/spacer_context.h b/src/muz/spacer/spacer_context.h index bb3ad007d..e00d479f7 100644 --- a/src/muz/spacer/spacer_context.h +++ b/src/muz/spacer/spacer_context.h @@ -897,6 +897,7 @@ class context { void predecessor_eh(); + void updt_params(); public: /** Initial values of predicates are stored in corresponding relations in dctx. @@ -905,6 +906,7 @@ public: context(fixedpoint_params const& params, ast_manager& m); ~context(); + const fixedpoint_params &get_params() const { return m_params; } bool use_native_mbp () {return m_use_native_mbp;} bool use_ground_cti () {return m_ground_cti;}