Searched refs:yices_arith_buffer_is_int (Results 1 – 3 of 3) sorted by relevance
473 extern bool yices_arith_buffer_is_int(rba_buffer_t *b);
7542 bool yices_arith_buffer_is_int(rba_buffer_t *b) { in yices_arith_buffer_is_int() function
2147 (is_integer_type(tau) && yices_arith_buffer_is_int(e->val.arith_buffer)); in stack_elem_has_type()