Searched refs:BTOR_TRAPI_RETURN_SORT (Results 1 – 2 of 2) sorted by relevance
90 #define BTOR_TRAPI_RETURN_SORT(sort) \ macro
3484 BTOR_TRAPI_RETURN_SORT (res); in boolector_get_sort()3506 BTOR_TRAPI_RETURN_SORT (res); in boolector_fun_get_domain_sort()3528 BTOR_TRAPI_RETURN_SORT (res); in boolector_fun_get_codomain_sort()4401 BTOR_TRAPI_RETURN_SORT (res); in boolector_bool_sort()4418 BTOR_TRAPI_RETURN_SORT (res); in boolector_bitvec_sort()4481 BTOR_TRAPI_RETURN_SORT (res); in boolector_fun_sort()4511 BTOR_TRAPI_RETURN_SORT (res); in boolector_array_sort()4528 BTOR_TRAPI_RETURN_SORT (res); in boolector_copy_sort()