Searched refs:newSortRef (Results 1 – 1 of 1) sorted by relevance
292 SMTSortRef newSortRef(const SMTSort &Sort) { in newSortRef() function in __anondfffcc6f0111::Z3Solver305 return newSortRef(Z3Sort(Context, Z3_mk_bool_sort(Context.Context))); in getBoolSort()309 return newSortRef( in getBitvectorSort()314 return newSortRef( in getSort()319 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_16(Context.Context))); in getFloat16Sort()323 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_32(Context.Context))); in getFloat32Sort()327 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_64(Context.Context))); in getFloat64Sort()331 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_128(Context.Context))); in getFloat128Sort()