Home
last modified time | relevance | path

Searched refs:BTOR_TRAPI_SORT_FMT (Results 1 – 2 of 2) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtortrapi.h15 #define BTOR_TRAPI_SORT_FMT "s%d@%p " macro
91 BTOR_TRAPI_RETURN (BTOR_TRAPI_SORT_FMT, sort, btor)
H A Dboolector.c1238 BTOR_TRAPI (BTOR_TRAPI_SORT_FMT " %s", sort, str); in boolector_constd()
1403 BTOR_TRAPI (BTOR_TRAPI_SORT_FMT, sort, btor); in boolector_zero()
1424 BTOR_TRAPI (BTOR_TRAPI_SORT_FMT, sort, btor); in boolector_ones()
1445 BTOR_TRAPI (BTOR_TRAPI_SORT_FMT, sort, btor); in boolector_one()
1466 BTOR_TRAPI (BTOR_TRAPI_SORT_FMT, sort, btor); in boolector_min_signed()
1486 BTOR_TRAPI (BTOR_TRAPI_SORT_FMT, sort, btor); in boolector_max_signed()
4493 BTOR_TRAPI_SORT_FMT " " BTOR_TRAPI_SORT_FMT, index, btor, element, btor); in boolector_array_sort()
4582 BTOR_TRAPI (BTOR_TRAPI_SORT_FMT, sort, btor); in boolector_is_array_sort()
4602 BTOR_TRAPI (BTOR_TRAPI_SORT_FMT, sort, btor); in boolector_is_bitvec_sort()
4622 BTOR_TRAPI (BTOR_TRAPI_SORT_FMT, sort, btor); in boolector_is_fun_sort()
[all …]