Home
last modified time | relevance | path

Searched refs:id2sort (Results 1 – 4 of 4) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtorsort.c278 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 Dbtorclone.c286 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 Dbtorsort.h107 BtorSortPtrStack id2sort; member
H A Dbtorcore.c61 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()