From 9ae657c4568114eb888d9c0b8c27c09586556ff3 Mon Sep 17 00:00:00 2001 From: Cesare Tinelli Date: Mon, 22 Feb 2010 18:59:37 +0000 Subject: * Add virtual destructors to CnfStream, Theory, OutputChannel, and ExplainOutputChannel. Safer and stops a compiler warning. * node attributes: fix compiler warnings on 64-bit. * Node: add asserts to make sure the current NodeManager is non-NULL when it's needed. This can happen when public-facing functions don't properly set the node manager, and it can look like a bug in another part of the library. Also some code format cleanup. * configure.ac, config/cvc4.m4: added --enable-static-binary (see discussion on bug 32), fixed bad configure lines (bug 19), added documentation for some things. * config.h.in: removed; it's auto-generated. --- src/prop/cnf_stream.h | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/prop') diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h index 1bb71860c..d7bb3c265 100644 --- a/src/prop/cnf_stream.h +++ b/src/prop/cnf_stream.h @@ -115,6 +115,14 @@ public: */ CnfStream(SatSolver* satSolver); + /** + * Destructs a CnfStream. This implementation does nothing, but we + * need a virtual destructor for safety in case subclasses have a + * destructor. + */ + virtual ~CnfStream() { + } + /** * Converts and asserts a formula. * @param node node to convert and assert -- cgit v1.2.3