diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-09 10:40:17 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-09 16:35:35 -0400 |
| commit | db51926b5ce806754fc26c81b1b7d3e739fc4fc5 (patch) | |
| tree | 8ac0a8469a77d1ce20aa6d088570ca6599547a61 /src/smt | |
| parent | 19634b3e34ee4984136b61f8374a45242919085b (diff) | |
Disallow copy/assignment of SmtEngine.
Diffstat (limited to 'src/smt')
| -rw-r--r-- | src/smt/smt_engine.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index 4b981f614..72237ff1c 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -361,6 +361,10 @@ class CVC4_PUBLIC SmtEngine { */ Model* getModel() throw(ModalException); + // disallow copy/assignment + SmtEngine(const SmtEngine&) CVC4_UNDEFINED; + SmtEngine& operator=(const SmtEngine&) CVC4_UNDEFINED; + public: /** |