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