27   friend class Z3Context;
51 class Z3Context {  class
55   Z3Context() {  in Z3Context()  function in __anonae660b540111::Z3Context
62   virtual ~Z3Context() {  in ~Z3Context()
72   Z3Context &Context;
78   Z3Sort(Z3Context &C, Z3_sort ZS) : Context(C), Sort(ZS) {  in Z3Sort()
147   Z3Context &Context;
152   Z3Expr(Z3Context &C, Z3_ast ZA) : SMTExpr(), Context(C), AST(ZA) {  in Z3Expr()
204   Z3Context &Context;
209   Z3Model(Z3Context &C, Z3_model ZM) : Context(C), Model(ZM) {  in Z3Model()
263   Z3Context Context;