Searched defs:Z3Sort (Results 1 – 1 of 1) sorted by relevance
71 class Z3Sort : public SMTSort { class80 Z3Sort(Z3Context &C, Z3_sort ZS) : Context(C), Sort(ZS) { in Z3Sort() function in __anon1f86e14b0111::Z3Sort85 Z3Sort(const Z3Sort &Other) : Context(Other.Context), Sort(Other.Sort) { in Z3Sort() function in __anon1f86e14b0111::Z3Sort