mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

member init order

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-05-20 20:16:45 +01:00
parent 4ed2b8a0f9
commit 2bbca192e3
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/tactic/fpa/fpa2bv_model_converter.h
View file

@ -24,11 +24,11 @@ Notes:
#include"model_converter.h" #include"model_converter.h"
class fpa2bv_model_converter : public model_converter { class fpa2bv_model_converter : public model_converter {
fpa_util m_fpa_util; ast_manager & m;
bv_util m_bv_util; fpa_util m_fpa_util;
th_rewriter m_th_rw; bv_util m_bv_util;
th_rewriter m_th_rw;
ast_manager & m;
obj_map<func_decl, expr*> m_const2bv; obj_map<func_decl, expr*> m_const2bv;
obj_map<func_decl, expr*> m_rm_const2bv; obj_map<func_decl, expr*> m_rm_const2bv;
obj_map<func_decl, func_decl*> m_uf2bvuf; obj_map<func_decl, func_decl*> m_uf2bvuf;