Searched refs:_o_yices_term_is_ground (Results 1 – 2 of 2) sorted by relevance
470 extern int32_t _o_yices_term_is_ground(term_t t);
6818 MT_PROTECT(int32_t, __yices_globals.lock, _o_yices_term_is_ground(t)); in yices_term_is_ground()6821 int32_t _o_yices_term_is_ground(term_t t) { in _o_yices_term_is_ground() function