Home
last modified time | relevance | path

Searched refs:synch_mpq_manager (Results 1 – 16 of 16) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/test/
H A Dmpq.cpp25 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 Dmpq.cpp25 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 Drational.cpp24 synch_mpq_manager * rational::g_mpq_manager = nullptr;
67 g_mpq_manager = alloc(synch_mpq_manager); in initialize()
H A Dmpfx.h55 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 Dmpff.h62 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 Drational.h29 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 Dmpq.h856 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 Dmpfx.cpp316 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 Dmpff.cpp403 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 Dmpfx.h55 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 Dmpff.h62 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 Drational.cpp24 synch_mpq_manager * rational::g_mpq_manager = nullptr;
67 g_mpq_manager = alloc(synch_mpq_manager); in initialize()
H A Drational.h29 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 Dmpq.h858 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 Dmpfx.cpp316 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 Dmpff.cpp403 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()