Searched refs:newSortRef (Results 1 – 1 of 1) sorted by relevance
294 SMTSortRef newSortRef(const SMTSort &Sort) { in newSortRef() function in __anon0349533b0111::Z3Solver307 return newSortRef(Z3Sort(Context, Z3_mk_bool_sort(Context.Context))); in getBoolSort()311 return newSortRef( in getBitvectorSort()316 return newSortRef( in getSort()321 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_16(Context.Context))); in getFloat16Sort()325 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_32(Context.Context))); in getFloat32Sort()329 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_64(Context.Context))); in getFloat64Sort()333 return newSortRef(Z3Sort(Context, Z3_mk_fpa_sort_128(Context.Context))); in getFloat128Sort()