Home
last modified time | relevance | path

Searched defs:is_nzero (Results 1 – 7 of 7) sorted by relevance

/dports/devel/tigcc/tigcc-0.96.b8_10/tigcc/tigcclib/include/c/
H A Dmath.h79 #define is_nzero _rom_call(short,(float),300) macro
H A Dtimath.h131 #define is_nzero _rom_call(short,(float),300) macro
/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dhwf.cpp422 bool hwf_manager::is_nzero(hwf const & x) { in is_nzero() function in hwf_manager
H A Dmpf.cpp407 bool mpf_manager::is_nzero(mpf const & x) { in is_nzero() function in mpf_manager
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dhwf.cpp422 bool hwf_manager::is_nzero(hwf const & x) { in is_nzero() function in hwf_manager
H A Dmpf.cpp407 bool mpf_manager::is_nzero(mpf const & x) { in is_nzero() function in mpf_manager
/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dfpa_decl_plugin.h267 bool is_nzero(expr * n) { scoped_mpf v(fm()); return is_numeral(n, v) && fm().is_nzero(v); } in is_nzero() function