Home
last modified time | relevance | path

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 Dinterval.h56 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 Ddep_intervals.h76 void set_rounding(bool to_plus_inf) {} in set_rounding()
H A Dinterval_def.h221 …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 Dinterval.h56 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 Ddep_intervals.h76 void set_rounding(bool to_plus_inf) {} in set_rounding()
H A Dinterval_def.h221 …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 Dmpff.cpp542 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 Dmpff.cpp542 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 Dmpbq.cpp833 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 Dmpff.h201 void set_rounding(bool to_plus_inf) { m_to_plus_inf = to_plus_inf; } in set_rounding()
H A Dmpfx.h148 void set_rounding(bool to_plus_inf) { m_to_plus_inf = to_plus_inf; } in set_rounding()
H A Df2n.h60 …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 Dmpbq.cpp834 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 Dmpff.h201 void set_rounding(bool to_plus_inf) { m_to_plus_inf = to_plus_inf; } in set_rounding()
H A Dmpfx.h148 void set_rounding(bool to_plus_inf) { m_to_plus_inf = to_plus_inf; } in set_rounding()
H A Df2n.h60 …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 Dsubpaving_t.h273 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 Dsubpaving_t.h273 void set_rounding(bool to_plus_inf) { C::set_rounding(m(), to_plus_inf); } in set_rounding()