Re: z3::expr::substitute(src_vector, dst_vector) does not work

From: Matthias Eder <matt.eder ***AT***student.tugraz.at>
Date: Thu, 24 Nov 2016 21:28:14 +0100
Subject: Re: z3::expr::substitute(src_vector, dst_vector) does not work
Newsgroups: tu-graz.lv.vt
Organization: Technische Universitaet Graz
Message-id: <o17igv$gfn$1@news.tugraz.at>
User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0
References: <o179gj$bin$1@news.tugraz.at>
Try calling it with the postcondition ;)

Am 24.11.2016 um 18:54 schrieb Thomas Gruber:
The expression like it was given in the hint does not work for me. My
compiler says

error: cannot call member function 'z3::expr z3::expr::substitute(const
expr_vector&, const expr_vector&)' without object

The function seems to be a member function, but if I use it like one as in

src_vector.substitute(dst_vector);

it doesnt work either. Am I the only one having this problem?