virtual void execute(cmd_context & ctx) { get_interpolant(ctx,m_targets,m_params); }
static void get_interpolant(cmd_context & ctx, const ptr_vector<expr> &exprs, params_ref &m_params) { expr *foo = make_tree(ctx,exprs); ctx.m().inc_ref(foo); get_interpolant(ctx,foo,m_params); ctx.m().dec_ref(foo); }
static void get_interpolant(cmd_context & ctx, const ptr_vector<expr> &exprs, params_ref &m_params) { expr_ref foo(make_tree(ctx, exprs),ctx.m()); get_interpolant(ctx,foo.get(),m_params); }
void execute(cmd_context & ctx) override { get_interpolant(ctx,m_targets,m_params); }