Home
last modified time | relevance | path

Searched refs:q_hash_denominator (Results 1 – 3 of 3) sorted by relevance

/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_rationals.c444 printf("hash den = %"PRIu32"\n", q_hash_denominator(&r0)); in main()
453 printf("hash den = %"PRIu32"\n", q_hash_denominator(&r1)); in main()
/dports/math/yices/yices-2.6.2/src/terms/
H A Drationals.h591 extern uint32_t q_hash_denominator(const rational_t *r);
H A Drationals.c2033 uint32_t q_hash_denominator(const rational_t *r) { in q_hash_denominator() function