Searched refs:newSortRef (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp292 SMTSortRef newSortRef(const SMTSort &Sort) { function in class:__anon3825::Z3Solver
305 return newSortRef(Z3Sort(Context, Z3_mk_bool_sort(Context.Context)));
309 return newSortRef(
314 return newSortRef(
319 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_16(Context.Context)));
323 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_32(Context.Context)));
327 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_64(Context.Context)));
331 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_128(Context.Context)));

Completed in 88 milliseconds