Searched refs:wrap_fd (Results 1 – 2 of 2) sorted by relevance
/dports/math/z3/z3-z3-4.8.13/src/ast/fpa/ |
H A D | fpa2bv_converter.cpp | 4310 func_decl_ref wrap_fd(m); in wrap() local 4311 wrap_fd = m.mk_func_decl(m_util.get_family_id(), OP_FPA_BVWRAP, 0, nullptr, 1, &es, bv_srt); in wrap() 4312 res = m.mk_app(wrap_fd, e); in wrap()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/ |
H A D | fpa2bv_converter.cpp | 4294 func_decl_ref wrap_fd(m); 4295 wrap_fd = m.mk_func_decl(m_util.get_family_id(), OP_FPA_BVWRAP, 0, nullptr, 1, &es, bv_srt); 4296 res = m.mk_app(wrap_fd, e);
|