Searched refs:yices_term_is_atomic (Results 1 – 2 of 2) sorted by relevance
2305 __YICES_DLLSPEC__ extern int32_t yices_term_is_atomic(term_t t);
6842 EXPORTED int32_t yices_term_is_atomic(term_t t) { in yices_term_is_atomic() function