Lines Matching refs:Z3Model
199 class Z3Model {
207 Z3Model(Z3Context &C, Z3_model ZM) : Context(C), Model(ZM) {
211 Z3Model(const Z3Model &Other) = delete;
212 Z3Model(Z3Model &&Other) = delete;
213 Z3Model &operator=(Z3Model &Other) = delete;
214 Z3Model &operator=(Z3Model &&Other) = delete;
216 ~Z3Model() {
226 }; // end class Z3Model
844 Z3Model Model(Context, Z3_solver_get_model(Context.Context, Solver));
858 Z3Model Model(Context, Z3_solver_get_model(Context.Context, Solver));