Home
last modified time | relevance | path

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 Dbtorsort.c296 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 Dbtorchkclone.h100 s0 = btor_sort_get_by_id (btor, res); \
101 s1 = btor_sort_get_by_id (btor->clone, cloneres); \
H A Dbtorsort.h136 BtorSort *btor_sort_get_by_id (Btor *btor, BtorSortId id);
H A Dbtorprintmodel.c263 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 Dboolector.c59 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 Dbtorclone.c1609 s = btor_sort_get_by_id (btor, sort); in btor_clone_recursively_rebuild_sort()
H A Dbtornode.c2550 sort = btor_sort_get_by_id (btor, btor_node_get_sort_id (e[1])); in btor_node_create_cond()
H A Dbtormbt.c2315 sort = btor_sort_get_by_id (mbt->btor, in btormbt_bv_fun()
/dports/math/boolector/boolector-3.2.2/src/dumper/
H A Dbtordumpbtor.c260 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 Dbtordumpsmt.c370 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()