Searched defs:to_plus_inf (Results 1 – 18 of 18) sorted by relevance
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/interval/ |
H A D | interval.h | 56 void set_rounding(bool to_plus_inf) {} in set_rounding() 142 void set_rounding(bool to_plus_inf) { m_c.set_rounding(to_plus_inf); } in set_rounding()
|
H A D | dep_intervals.h | 76 void set_rounding(bool to_plus_inf) {} in set_rounding()
|
H A D | interval_def.h | 221 …ger<C>::A_div_x_n(numeral const & A, numeral const & x, unsigned n, bool to_plus_inf, numeral & r)… in A_div_x_n()
|
/dports/math/z3/z3-z3-4.8.13/src/math/interval/ |
H A D | interval.h | 56 void set_rounding(bool to_plus_inf) {} in set_rounding() 142 void set_rounding(bool to_plus_inf) { m_c.set_rounding(to_plus_inf); } in set_rounding()
|
H A D | dep_intervals.h | 76 void set_rounding(bool to_plus_inf) {} in set_rounding()
|
H A D | interval_def.h | 221 …ger<C>::A_div_x_n(numeral const & A, numeral const & x, unsigned n, bool to_plus_inf, numeral & r)… in A_div_x_n()
|
/dports/math/z3/z3-z3-4.8.13/src/test/ |
H A D | mpff.cpp | 542 static void tst_decimal(int64_t n, uint64_t d, bool to_plus_inf, unsigned prec, char const * expect… in tst_decimal()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
H A D | mpff.cpp | 542 static void tst_decimal(int64_t n, uint64_t d, bool to_plus_inf, unsigned prec, char const * expect… in tst_decimal()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
H A D | mpbq.cpp | 833 void mpbq_manager::approx(mpbq & a, unsigned k, bool to_plus_inf) { in approx() 861 … mpbq_manager::approx_div(mpbq const & a, mpbq const & b, mpbq & c, unsigned k, bool to_plus_inf) { in approx_div()
|
H A D | mpff.h | 201 void set_rounding(bool to_plus_inf) { m_to_plus_inf = to_plus_inf; } in set_rounding()
|
H A D | mpfx.h | 148 void set_rounding(bool to_plus_inf) { m_to_plus_inf = to_plus_inf; } in set_rounding()
|
H A D | f2n.h | 60 …void set_rounding(bool to_plus_inf) { if (to_plus_inf) round_to_plus_inf(); else round_to_minus_in… in set_rounding()
|
/dports/math/z3/z3-z3-4.8.13/src/util/ |
H A D | mpbq.cpp | 834 void mpbq_manager::approx(mpbq & a, unsigned k, bool to_plus_inf) { in approx() 862 … mpbq_manager::approx_div(mpbq const & a, mpbq const & b, mpbq & c, unsigned k, bool to_plus_inf) { in approx_div()
|
H A D | mpff.h | 201 void set_rounding(bool to_plus_inf) { m_to_plus_inf = to_plus_inf; } in set_rounding()
|
H A D | mpfx.h | 148 void set_rounding(bool to_plus_inf) { m_to_plus_inf = to_plus_inf; } in set_rounding()
|
H A D | f2n.h | 60 …void set_rounding(bool to_plus_inf) { if (to_plus_inf) round_to_plus_inf(); else round_to_minus_in… in set_rounding()
|
/dports/math/z3/z3-z3-4.8.13/src/math/subpaving/ |
H A D | subpaving_t.h | 273 void set_rounding(bool to_plus_inf) { C::set_rounding(m(), to_plus_inf); } in set_rounding()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/subpaving/ |
H A D | subpaving_t.h | 273 void set_rounding(bool to_plus_inf) { C::set_rounding(m(), to_plus_inf); } in set_rounding()
|