Searched refs:Z3Context (Results 1 – 1 of 1) sorted by relevance
25 friend class Z3Context;49 class Z3Context { class53 Z3Context() { in Z3Context() function in __anon5ae4843c0111::Z3Context60 virtual ~Z3Context() { in ~Z3Context()70 Z3Context &Context;76 Z3Sort(Z3Context &C, Z3_sort ZS) : Context(C), Sort(ZS) { in Z3Sort()145 Z3Context &Context;150 Z3Expr(Z3Context &C, Z3_ast ZA) : SMTExpr(), Context(C), AST(ZA) { in Z3Expr()202 Z3Context &Context;207 Z3Model(Z3Context &C, Z3_model ZM) : Context(C), Model(ZM) { in Z3Model()[all …]