Searched refs:Z3Sort (Results 1 – 1 of 1) sorted by relevance
69 class Z3Sort : public SMTSort { class78 Z3Sort(Z3Context &C, Z3_sort ZS) : Context(C), Sort(ZS) { in Z3Sort() function in __anon25857d310111::Z3Sort83 Z3Sort(const Z3Sort &Other) : Context(Other.Context), Sort(Other.Sort) { in Z3Sort() function in __anon25857d310111::Z3Sort89 Z3Sort &operator=(const Z3Sort &Other) { in operator =()96 Z3Sort(Z3Sort &&Other) = delete;97 Z3Sort &operator=(Z3Sort &&Other) = delete;99 ~Z3Sort() { in ~Z3Sort()132 static_cast<const Z3Sort &>(Other).Sort); in equal_to()140 static const Z3Sort &toZ3Sort(const SMTSort &S) { in toZ3Sort()141 return static_cast<const Z3Sort &>(S); in toZ3Sort()[all …]