Searched refs:yices_reset_term_vector (Results 1 – 2 of 2) sorted by relevance
315 __YICES_DLLSPEC__ extern void yices_reset_term_vector(term_vector_t *v);
1493 EXPORTED void yices_reset_term_vector(term_vector_t *v) { in yices_reset_term_vector() function6961 yices_reset_term_vector(v); in _o_yices_term_children()9018 yices_reset_term_vector(v); in yices_get_unsat_core()