Searched refs:Z3Context (Results 1 – 1 of 1) sorted by relevance
30 friend class Z3Context;50 class Z3Context { class55 Z3Context() { in Z3Context() function in __anona2cc94240111::Z3Context62 Z3Context(const Z3Context &) = delete;63 Z3Context(Z3Context &&) = default;64 Z3Context &operator=(Z3Context &) = delete;65 Z3Context &operator=(Z3Context &&) = default;67 ~Z3Context() { in ~Z3Context()77 Z3Context &Context;83 Z3Sort(Z3Context &C, Z3_sort ZS) : Context(C), Sort(ZS) { in Z3Sort()[all …]