Lines Matching defs:Z3Context

30   friend class Z3Context;
50 class Z3Context {
55   Z3Context() {
62   Z3Context(const Z3Context &) = delete;
63   Z3Context(Z3Context &&) = default;
64   Z3Context &operator=(Z3Context &) = delete;
65   Z3Context &operator=(Z3Context &&) = default;
67   ~Z3Context() {
71 }; // end class Z3Context
77   Z3Context &Context;
83   Z3Sort(Z3Context &C, Z3_sort ZS) : Context(C), Sort(ZS) {
152   Z3Context &Context;
157   Z3Expr(Z3Context &C, Z3_ast ZA) : SMTExpr(), Context(C), AST(ZA) {
209   Z3Context &Context;
214   Z3Model(Z3Context &C, Z3_model ZM) : Context(C), Model(ZM) {
268   Z3Context Context;