Searched refs:q_get_double (Results 1 – 3 of 3) sorted by relevance
564 extern double q_get_double(rational_t *r);
1947 double q_get_double(rational_t *r) { in q_get_double() function
10043 *val = q_get_double(aux.val.q); in _o_yices_get_double_value()10717 *val = q_get_double(vtbl_rational(vtbl, id)); in _o_yices_val_get_double()