Searched refs:_o_yices_term_is_real (Results 1 – 2 of 2) sorted by relevance
456 extern int32_t _o_yices_term_is_real(term_t t);
6746 MT_PROTECT(int32_t, __yices_globals.lock, _o_yices_term_is_real(t)); in yices_term_is_real()6749 int32_t _o_yices_term_is_real(term_t t) { in _o_yices_term_is_real() function