Searched defs:mk_nzero (Results 1 – 8 of 8) sorted by relevance
498 void hwf_manager::mk_nzero(hwf & o) { in mk_nzero() function in hwf_manager
1859 void mpf_manager::mk_nzero(unsigned ebits, unsigned sbits, mpf & o) { in mk_nzero() function in mpf_manager
259 app * mk_nzero(sort * s) { return mk_nzero(get_ebits(s), get_sbits(s)); } in mk_nzero() function
1003 app * fpa_util::mk_nzero(unsigned ebits, unsigned sbits) { in mk_nzero() function in fpa_util
988 app * fpa_util::mk_nzero(unsigned ebits, unsigned sbits) { in mk_nzero() function in fpa_util
386 void fpa2bv_converter::mk_nzero(func_decl * f, expr_ref & result) { in mk_nzero() function in fpa2bv_converter390 void fpa2bv_converter::mk_nzero(sort * s, expr_ref & result) { in mk_nzero() function in fpa2bv_converter