Home
last modified time | relevance | path

Searched refs:irrational_precision (Results 1 – 10 of 10) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A Dchecked_mpq_inlines.hh469 extern unsigned irrational_precision;
488 2*irrational_precision, ROUND_IGNORE); in sqrt_mpq()
494 irrational_precision, ROUND_IGNORE); in sqrt_mpq()
535 irrational_precision() { in irrational_precision() function
536 return Checked::irrational_precision; in irrational_precision()
551 Checked::irrational_precision = p; in set_irrational_precision()
H A Dchecked.cc37 unsigned irrational_precision; variable
H A Dppl.hh.dist12088 extern unsigned irrational_precision;
12107 2*irrational_precision, ROUND_IGNORE);
12113 irrational_precision, ROUND_IGNORE);
12154 irrational_precision() {
12155 return Checked::irrational_precision;
12170 Checked::irrational_precision = p;
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DParma_Polyhedra_Library.java238 public static native int irrational_precision(); in irrational_precision() method in Parma_Polyhedra_Library
/dports/devel/ppl/ppl-1.2/interfaces/Java/tests/
H A DParma_Polyhedra_Library_test1.java57 PPL_Test.println_if_noisy(Parma_Polyhedra_Library.irrational_precision()); in test01()
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/
H A Dppl_ocaml_common.cc1752 CAMLreturn(Val_long(irrational_precision())); in ppl_irrational_precision()
/dports/devel/ppl/ppl-1.2/interfaces/C/
H A Dppl_c_implementation_common.cc298 *p = irrational_precision(); in ppl_irrational_precision()
/dports/devel/ppl/ppl-1.2/interfaces/Java/jni/
H A Dppl_java_globals.cc783 return irrational_precision(); in Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_irrational_1precision()
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/
H A Dppl_prolog_common.cc1835 if (unify_ulong(t_p, irrational_precision())) in ppl_irrational_precision()
/dports/devel/ppl/ppl-1.2/
H A DChangeLog25866 interfaces/Prolog/tests/pl_check.pl: Parameter irrational_precision
25872 rational_sqrt_precision_parameter to irrational_precision.