Searched refs:yices_val_is_rational32 (Results 1 – 2 of 2) sorted by relevance
3796 __YICES_DLLSPEC__ extern int32_t yices_val_is_rational32(model_t *mdl, const yval_t *v);
10340 EXPORTED int32_t yices_val_is_rational32(model_t *mdl, const yval_t *v) { in yices_val_is_rational32() function