Home
last modified time | relevance | path

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 Dfpa2bv_converter.cpp4310 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 Dfpa2bv_converter.cpp4294 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);