Searched refs:x_is_nan (Results 1 – 5 of 5) sorted by relevance
/dports/math/z3/z3-z3-4.8.13/src/ast/fpa/ |
H A D | fpa2bv_converter.cpp | 563 mk_is_nan(x, x_is_nan); in mk_add() 714 mk_is_nan(x, x_is_nan); in mk_neg() 741 mk_is_nan(x, x_is_nan); in mk_mul() 890 mk_is_nan(x, x_is_nan); in mk_div() 1046 mk_is_nan(x, x_is_nan); in mk_rem() 1295 mk_is_nan(x, x_is_nan); in mk_min() 1336 mk_is_nan(x, x_is_nan); in mk_max() 1418 mk_is_nan(x, x_is_nan); in mk_fma() 1808 mk_is_nan(x, x_is_nan); in mk_sqrt() 1821 c1 = x_is_nan; in mk_sqrt() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/ |
H A D | fpa2bv_converter.cpp | 562 mk_is_nan(x, x_is_nan); 713 mk_is_nan(x, x_is_nan); 740 mk_is_nan(x, x_is_nan); 889 mk_is_nan(x, x_is_nan); 1045 mk_is_nan(x, x_is_nan); 1284 mk_is_nan(x, x_is_nan); 1325 mk_is_nan(x, x_is_nan); 1407 mk_is_nan(x, x_is_nan); 1797 mk_is_nan(x, x_is_nan); 1810 c1 = x_is_nan; [all …]
|
/dports/misc/openmvg/openMVG-2.0/src/third_party/eigen/Eigen/src/Core/arch/Default/ |
H A D | GenericPacketMathFunctions.h | 1467 const Packet x_is_nan = pandnot(ptrue(x), pcmp_eq(x, x)); 1493 const Packet pow_is_nan = por(invalid_negative_x, por(x_is_nan, y_is_nan));
|
/dports/devel/bullet/bullet3-3.21/examples/ThirdPartyLibs/Eigen/src/Core/arch/Default/ |
H A D | GenericPacketMathFunctions.h | 1467 const Packet x_is_nan = pandnot(ptrue(x), pcmp_eq(x, x)); 1493 const Packet pow_is_nan = por(invalid_negative_x, por(x_is_nan, y_is_nan));
|
/dports/devel/py-bullet3/bullet3-3.21/examples/ThirdPartyLibs/Eigen/src/Core/arch/Default/ |
H A D | GenericPacketMathFunctions.h | 1467 const Packet x_is_nan = pandnot(ptrue(x), pcmp_eq(x, x)); 1493 const Packet pow_is_nan = por(invalid_negative_x, por(x_is_nan, y_is_nan));
|