Searched refs:id2sort (Results 1 – 4 of 4) sorted by relevance
/dports/math/boolector/boolector-3.2.2/src/ |
H A D | btorsort.c | 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() 510 assert (head_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() [all …]
|
H A D | btorclone.c | 286 BTOR_INIT_STACK (mm, res->id2sort); in clone_sorts_unique_table() 294 BTOR_PUSH_STACK (res->id2sort, 0); in clone_sorts_unique_table() 341 assert (BTOR_COUNT_STACK (table->id2sort) == BTOR_COUNT_STACK (res->id2sort)); in clone_sorts_unique_table() 345 csort = BTOR_PEEK_STACK (res->id2sort, i); in clone_sorts_unique_table() 382 BTOR_INIT_STACK (res->id2sort); 390 BTOR_PUSH_STACK (res->mm, res->id2sort, 0); 413 BTOR_PEEK_STACK (res->id2sort, 427 BTOR_PEEK_STACK (res->id2sort, 435 BTOR_PEEK_STACK (res->id2sort, 444 BTOR_PEEK_STACK (res->id2sort, [all …]
|
H A D | btorsort.h | 107 BtorSortPtrStack id2sort; member
|
H A D | btorcore.c | 61 BTOR_INIT_STACK (mm, table.id2sort); \ 62 BTOR_PUSH_STACK (table.id2sort, 0); \ 69 BTOR_RELEASE_STACK (table.id2sort); \ 854 cnt = BTOR_COUNT_STACK (btor->sorts_unique_table.id2sort); in release_all_ext_sort_refs() 857 sort = BTOR_PEEK_STACK (btor->sorts_unique_table.id2sort, cnt - i); in release_all_ext_sort_refs()
|