Searched refs:yices_get_rational32_value (Results 1 – 2 of 2) sorted by relevance
3606 __YICES_DLLSPEC__ extern int32_t yices_get_rational32_value(model_t *mdl, term_t t, int32_t *num, u…
9992 EXPORTED int32_t yices_get_rational32_value(model_t *mdl, term_t t, int32_t *num, uint32_t *den) { in yices_get_rational32_value() function