Searched refs:Z3Sort (Results 1 – 1 of 1) sorted by relevance
71 class Z3Sort : public SMTSort { class85 Z3Sort(const Z3Sort &Other) : Context(Other.Context), Sort(Other.Sort) { in Z3Sort() function in __anon1f86e14b0111::Z3Sort91 Z3Sort &operator=(const Z3Sort &Other) { in operator =()98 Z3Sort(Z3Sort &&Other) = delete;99 Z3Sort &operator=(Z3Sort &&Other) = delete;101 ~Z3Sort() { in ~Z3Sort()138 return static_cast<const Z3Sort &>(S); in toZ3Sort()295 return std::make_shared<Z3Sort>(Context, in getBitvectorSort()300 return std::make_shared<Z3Sort>( in getSort()305 return std::make_shared<Z3Sort>(Context, in getFloat16Sort()[all …]