Searched refs:sign_det (Results 1 – 3 of 3) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/math/realclosure/ |
| H A D | realclosure.cpp | 266 struct sign_det { struct
273 sign_det():m_ref_count(0) {} in sign_det() argument
285 … sign_det * m_sign_det; //!< != 0 if m_iso_interval constrains more than one root of m_p.
293 sign_det * sdt() const { return m_sign_det; } in sdt()
801 void del_sign_det(sign_det * sd) { in del_sign_det()
808 allocator().deallocate(sizeof(sign_det), sd); in del_sign_det()
811 void inc_ref_sign_det(sign_det * sd) { in inc_ref_sign_det()
816 void dec_ref_sign_det(sign_det * sd) { in dec_ref_sign_det()
1795 sign_det * r = new (allocator()) sign_det(); in mk_sign_det()
2107 sign_det * sd = mk_sign_det(M_s, prs, taqrs, qs, scs); in sign_det_isolate_roots()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/realclosure/ |
| H A D | realclosure.cpp | 266 struct sign_det { struct
273 sign_det():m_ref_count(0) {} in sign_det() function
285 … sign_det * m_sign_det; //!< != 0 if m_iso_interval constrains more than one root of m_p.
293 sign_det * sdt() const { return m_sign_det; } in sdt()
801 void del_sign_det(sign_det * sd) { in del_sign_det()
808 allocator().deallocate(sizeof(sign_det), sd); in del_sign_det()
811 void inc_ref_sign_det(sign_det * sd) { in inc_ref_sign_det()
816 void dec_ref_sign_det(sign_det * sd) { in dec_ref_sign_det()
1795 sign_det * r = new (allocator()) sign_det(); in mk_sign_det()
2107 sign_det * sd = mk_sign_det(M_s, prs, taqrs, qs, scs); in sign_det_isolate_roots()
[all …]
|
| /dports/graphics/blender/blender-2.91.0/source/blender/blenlib/intern/ |
| H A D | math_geom.c | 1958 const int sign_det = (float_as_int(det) & (int)0x80000000); in isect_ray_tri_watertight_v3() local
1960 const float sign_t = xor_fl(t, sign_det); in isect_ray_tri_watertight_v3()
|