30   friend class Z3Context;
50 class Z3Context {  class
55   Z3Context() {  in Z3Context()  function in __anona2cc94240111::Z3Context
62   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()
152   Z3Context &Context;
157   Z3Expr(Z3Context &C, Z3_ast ZA) : SMTExpr(), Context(C), AST(ZA) {  in Z3Expr()
209   Z3Context &Context;
214   Z3Model(Z3Context &C, Z3_model ZM) : Context(C), Model(ZM) {  in Z3Model()
268   Z3Context Context;