Searched refs:Z3Model (Results 1 – 1 of 1) sorted by relevance
198 class Z3Model { class206 Z3Model(Z3Context &C, Z3_model ZM) : Context(C), Model(ZM) { in Z3Model() function in __anon1f86e14b0111::Z3Model210 Z3Model(const Z3Model &Other) = delete;211 Z3Model(Z3Model &&Other) = delete;212 Z3Model &operator=(Z3Model &Other) = delete;213 Z3Model &operator=(Z3Model &&Other) = delete;215 ~Z3Model() { in ~Z3Model()753 Z3Model Model(Context, Z3_solver_get_model(Context.Context, Solver)); in getInterpretation()767 Z3Model Model(Context, Z3_solver_get_model(Context.Context, Solver)); in getInterpretation()