Searched refs:yices_term_is_tuple (Results 1 – 3 of 3) sorted by relevance
2162 __YICES_DLLSPEC__ extern int32_t yices_term_is_tuple(term_t t);
443 return random_term(v, yices_term_is_tuple); in random_tuple_term()
6769 EXPORTED int32_t yices_term_is_tuple(term_t t) { in yices_term_is_tuple() function