/dports/math/z3/z3-z3-4.8.13/src/test/ |
H A D | mpq.cpp | 25 synch_mpq_manager m; in tst0() 34 synch_mpq_manager m; in tst1() 87 synch_mpq_manager m; in bug1() 97 synch_mpq_manager m; in bug2()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
H A D | mpq.cpp | 25 synch_mpq_manager m; in tst0() 34 synch_mpq_manager m; in tst1() 87 synch_mpq_manager m; in bug1() 97 synch_mpq_manager m; in bug2()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
H A D | rational.cpp | 24 synch_mpq_manager * rational::g_mpq_manager = nullptr; 67 g_mpq_manager = alloc(synch_mpq_manager); in initialize()
|
H A D | mpfx.h | 55 typedef mpq_manager<true> synch_mpq_manager; typedef 58 typedef mpq_manager<false> synch_mpq_manager; typedef 322 void set(mpfx & n, synch_mpq_manager & m, mpq const & v); 386 void to_mpq(mpfx const & n, synch_mpq_manager & m, mpq & t);
|
H A D | mpff.h | 62 typedef mpq_manager<true> synch_mpq_manager; typedef 65 typedef mpq_manager<false> synch_mpq_manager; typedef 389 void set(mpff & n, synch_mpq_manager & m, mpq const & v); 456 void to_mpq(mpff const & n, synch_mpq_manager & m, mpq & t);
|
H A D | rational.h | 29 static synch_mpq_manager * g_mpq_manager; 31 static synch_mpq_manager & m() { return *g_mpq_manager; } in m() 65 ~rational() { synch_mpq_manager::del(g_mpq_manager, m_val); } in ~rational()
|
H A D | mpq.h | 856 typedef mpq_manager<true> synch_mpq_manager; typedef 858 typedef mpq_manager<false> synch_mpq_manager; typedef 863 typedef _scoped_numeral<synch_mpq_manager> scoped_synch_mpq;
|
H A D | mpfx.cpp | 316 void mpfx_manager::set(mpfx & n, synch_mpq_manager & m, mpq const & v) { in set() 749 void mpfx_manager::to_mpq(mpfx const & n, synch_mpq_manager & m, mpq & t) { in to_mpq()
|
H A D | mpff.cpp | 403 void mpff_manager::set(mpff & n, synch_mpq_manager & m, mpq const & v) { in set() 1166 void mpff_manager::to_mpq(mpff const & n, synch_mpq_manager & m, mpq & t) { in to_mpq()
|
/dports/math/z3/z3-z3-4.8.13/src/util/ |
H A D | mpfx.h | 55 typedef mpq_manager<true> synch_mpq_manager; typedef 58 typedef mpq_manager<false> synch_mpq_manager; typedef 322 void set(mpfx & n, synch_mpq_manager & m, mpq const & v); 386 void to_mpq(mpfx const & n, synch_mpq_manager & m, mpq & t);
|
H A D | mpff.h | 62 typedef mpq_manager<true> synch_mpq_manager; typedef 65 typedef mpq_manager<false> synch_mpq_manager; typedef 389 void set(mpff & n, synch_mpq_manager & m, mpq const & v); 456 void to_mpq(mpff const & n, synch_mpq_manager & m, mpq & t);
|
H A D | rational.cpp | 24 synch_mpq_manager * rational::g_mpq_manager = nullptr; 67 g_mpq_manager = alloc(synch_mpq_manager); in initialize()
|
H A D | rational.h | 29 static synch_mpq_manager * g_mpq_manager; 31 static synch_mpq_manager & m() { return *g_mpq_manager; } in m() 65 ~rational() { synch_mpq_manager::del(g_mpq_manager, m_val); } in ~rational()
|
H A D | mpq.h | 858 typedef mpq_manager<true> synch_mpq_manager; typedef 860 typedef mpq_manager<false> synch_mpq_manager; typedef 865 typedef _scoped_numeral<synch_mpq_manager> scoped_synch_mpq;
|
H A D | mpfx.cpp | 316 void mpfx_manager::set(mpfx & n, synch_mpq_manager & m, mpq const & v) { in set() 749 void mpfx_manager::to_mpq(mpfx const & n, synch_mpq_manager & m, mpq & t) { in to_mpq()
|
H A D | mpff.cpp | 403 void mpff_manager::set(mpff & n, synch_mpq_manager & m, mpq const & v) { in set() 1166 void mpff_manager::to_mpq(mpff const & n, synch_mpq_manager & m, mpq & t) { in to_mpq()
|