Searched refs:btor_sort_get_by_id (Results 1 – 10 of 10) sorted by relevance
/dports/math/boolector/boolector-3.2.2/src/ |
H A D | btorsort.c | 296 sort = btor_sort_get_by_id (btor, id); in btor_sort_copy() 308 sort = btor_sort_get_by_id (btor, id); in btor_sort_release() 647 sort = btor_sort_get_by_id (btor, id); in btor_sort_bv_get_width() 662 sort = btor_sort_get_by_id (btor, id); in btor_sort_tuple_get_arity() 671 sort = btor_sort_get_by_id (btor, id); in btor_sort_fun_get_codomain() 680 sort = btor_sort_get_by_id (btor, id); in btor_sort_fun_get_domain() 689 sort = btor_sort_get_by_id (btor, id); in btor_sort_fun_get_arity() 699 sort = btor_sort_get_by_id (btor, id); in btor_sort_array_get_index() 714 sort = btor_sort_get_by_id (btor, id); in btor_sort_array_get_element() 741 sort = btor_sort_get_by_id (btor, id); in btor_sort_is_bv() [all …]
|
H A D | btorchkclone.h | 100 s0 = btor_sort_get_by_id (btor, res); \ 101 s1 = btor_sort_get_by_id (btor->clone, cloneres); \
|
H A D | btorsort.h | 136 BtorSort *btor_sort_get_by_id (Btor *btor, BtorSortId id);
|
H A D | btorprintmodel.c | 263 print_param_smt2 (s, x, btor_sort_get_by_id (btor, sort), file); in print_fun_model_smt2() 268 btor_dumpsmt_dump_sort (btor_sort_get_by_id (btor, sort), file); in print_fun_model_smt2()
|
H A D | boolector.c | 59 sort = btor_sort_get_by_id (btor, id); in inc_sort_ext_ref_counter() 73 sort = btor_sort_get_by_id (btor, id); in dec_sort_ext_ref_counter() 3503 res = ((BtorFunSort) btor_sort_get_by_id (btor, btor_node_get_sort_id (exp)) in boolector_fun_get_domain_sort() 3525 res = ((BtorFunSort) btor_sort_get_by_id (btor, btor_node_get_sort_id (exp)) in boolector_fun_get_codomain_sort()
|
H A D | btorclone.c | 1609 s = btor_sort_get_by_id (btor, sort); in btor_clone_recursively_rebuild_sort()
|
H A D | btornode.c | 2550 sort = btor_sort_get_by_id (btor, btor_node_get_sort_id (e[1])); in btor_node_create_cond()
|
H A D | btormbt.c | 2315 sort = btor_sort_get_by_id (mbt->btor, in btormbt_bv_fun()
|
/dports/math/boolector/boolector-3.2.2/src/dumper/ |
H A D | btordumpbtor.c | 260 sort = btor_sort_get_by_id (bdc->btor, btor_node_get_sort_id (node)); in get_sort() 609 sort = btor_sort_get_by_id (bdc->btor, btor_node_get_sort_id (cur)); in bdcsorts()
|
H A D | btordumpsmt.c | 370 s_did = btor_sort_get_by_id (btor, s_tid)->tuple.elements[0]->id; in btor_dumpsmt_dump_sort_node() 379 sort = btor_sort_get_by_id (exp->btor, btor_node_get_sort_id (exp)); in btor_dumpsmt_dump_sort_node()
|