Lines Matching refs:id2sort
278 assert (BTOR_PEEK_STACK (table->id2sort, sort->id) == sort); in release_sort()
279 BTOR_POKE_STACK (table->id2sort, sort->id, 0); in release_sort()
287 assert (id < BTOR_COUNT_STACK (btor->sorts_unique_table.id2sort)); in btor_sort_get_by_id()
288 return BTOR_PEEK_STACK (btor->sorts_unique_table.id2sort, id); in btor_sort_get_by_id()
396 res->id = BTOR_COUNT_STACK (table->id2sort); in create_sort()
397 BTOR_PUSH_STACK (table->id2sort, res); in create_sort()
398 assert (BTOR_COUNT_STACK (table->id2sort) == res->id + 1); in create_sort()
399 assert (BTOR_PEEK_STACK (table->id2sort, res->id) == res); in create_sort()
451 assert (index_id < BTOR_COUNT_STACK (btor->sorts_unique_table.id2sort)); in btor_sort_array()
452 assert (element_id < BTOR_COUNT_STACK (btor->sorts_unique_table.id2sort)); in btor_sort_array()
510 assert (head_id < BTOR_COUNT_STACK (btor->sorts_unique_table.id2sort));
511 assert (tail_id < BTOR_COUNT_STACK (btor->sorts_unique_table.id2sort));
727 return id < BTOR_COUNT_STACK (btor->sorts_unique_table.id2sort) in btor_sort_is_valid()
728 && BTOR_PEEK_STACK (btor->sorts_unique_table.id2sort, id) != 0; in btor_sort_is_valid()