Searched refs:value_update_t (Results 1 – 3 of 3) sorted by relevance
181 } value_update_t; typedef928 static inline value_update_t *vtbl_update(value_table_t *table, value_t v) { in vtbl_update()930 return (value_update_t *) table->desc[v].ptr; in vtbl_update()
968 value_update_t *upd; in normalize_update()973 upd = (value_update_t *) table->desc[i].ptr; in normalize_update()1017 value_update_t *upd; in vtbl_function_type()1021 upd = (value_update_t *) table->desc[i].ptr; in vtbl_function_type()1727 value_update_t *d; in build_update_value()1730 d = (value_update_t *) safe_malloc(sizeof(value_update_t)); in build_update_value()2117 value_update_t *upd; in is_plausible_div_by_zero()3434 value_update_t *u; in vtbl_eval_application()
130 static void vtbl_print_update(FILE *f, value_table_t *table, value_update_t *u) { in vtbl_print_update()415 static void vtbl_pp_update(yices_pp_t *printer, value_table_t *table, value_update_t *u) { in vtbl_pp_update()