Searched refs:set_mpfr_flags (Results 1 – 4 of 4) sorted by relevance
25 set_mpfr_flags (int counter) in set_mpfr_flags() function
54 set_mpfr_flags (rand_counter);
157 void set_mpfr_flags (int counter);
118 set_mpfr_flags (rand_counter);