Searched refs:newSortRef (Results 1 – 1 of 1) sorted by relevance
306 SMTSortRef newSortRef(const SMTSort &Sort) { in newSortRef() function in __anona2cc94240111::Z3Solver319 return newSortRef(Z3Sort(Context, Z3_mk_bool_sort(Context.Context))); in getBoolSort()323 return newSortRef( in getBitvectorSort()328 return newSortRef( in getSort()333 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_16(Context.Context))); in getFloat16Sort()337 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_32(Context.Context))); in getFloat32Sort()341 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_64(Context.Context))); in getFloat64Sort()345 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_128(Context.Context))); in getFloat128Sort()