mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-14 01:46:15 +00:00
Code Activity

Explicitly delete private constructors (#5174)

Browse source
This commit is contained in:
Zachary Wimer 2021-04-12 13:46:55 -07:00 • committed by GitHub
parent 973f79dc4d
commit 70604a6856
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/api/c++/z3++.h
View file

@ -106,8 +106,8 @@ namespace z3 {
*/ */
class config { class config {
Z3_config m_cfg; Z3_config m_cfg;
config(config const & s); config(config const & s) = delete;
config & operator=(config const & s); config & operator=(config const & s) = delete;
public: public:
config() { m_cfg = Z3_mk_config(); } config() { m_cfg = Z3_mk_config(); }
~config() { Z3_del_config(m_cfg); } ~config() { Z3_del_config(m_cfg); }
@ -170,8 +170,8 @@ namespace z3 {
} }
context(context const & s); context(context const & s) = delete;
context & operator=(context const & s); context & operator=(context const & s) = delete;
friend class scoped_context; friend class scoped_context;
context(Z3_context c) { set_context(c); } context(Z3_context c) { set_context(c); }