Searched refs:Z3Context (Results 1 – 1 of 1) sorted by relevance
27 friend class Z3Context;51 class Z3Context { class55 Z3Context() { in Z3Context() function in __anon25857d310111::Z3Context62 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()[all …]