Lines Matching defs:Z3Model

206 class Z3Model {
214   Z3Model(Z3Context &C, Z3_model ZM) : Context(C), Model(ZM) {
218   Z3Model(const Z3Model &Other) = delete;
219   Z3Model(Z3Model &&Other) = delete;
220   Z3Model &operator=(Z3Model &Other) = delete;
221   Z3Model &operator=(Z3Model &&Other) = delete;
223   ~Z3Model() {
233 }; // end class Z3Model
858     Z3Model Model(Context, Z3_solver_get_model(Context.Context, Solver));
872     Z3Model Model(Context, Z3_solver_get_model(Context.Context, Solver));