* build bugfix for win32
* also fix a bug re: tuples and records in the datatypes rewriter
These fixes are for both trunk and 1.0.x branches.
(cherry picked from commit
8c8985f024cec925f774ff32ebccc306be8e4b26)
#if defined(_MSC_VER) || defined(__MINGW32__)
#include <time.h>
-static inline double Minisat::cpuTime(void) { return (double)clock() / CLOCKS_PER_SEC; }
+static inline double BVMinisat::cpuTime(void) { return (double)clock() / CLOCKS_PER_SEC; }
#else
#include <sys/time.h>
}
if(in.getKind() == kind::RECORD_UPDATE &&
in[0].getKind() == kind::RECORD) {
- size_t ix = in[0].getOperator().getConst<Record>().getIndex(in.getConst<RecordUpdate>().getField());
+ size_t ix = in[0].getOperator().getConst<Record>().getIndex(in.getOperator().getConst<RecordUpdate>().getField());
NodeBuilder<> b(kind::RECORD);
b << in[0].getOperator();
for(TNode::const_iterator i = in[0].begin(); i != in[0].end(); ++i, --ix) {
#include <iostream>
#include <string>
#include <sstream>
+#include <stdexcept>
#include <exception>
#include <cstdlib>
#include <cstdarg>
class CVC4_PUBLIC LemmaInputChannel {
public:
+ virtual ~LemmaInputChannel() throw() { }
+
virtual bool hasNewLemma() = 0;
virtual Expr getNewLemma() = 0;
*/
class CVC4_PUBLIC LemmaOutputChannel {
public:
+ virtual ~LemmaOutputChannel() throw() { }
+
/**
* Notifies this output channel that there's a new lemma.
* The lemma may or may not be in CNF.
class CVC4_PUBLIC Proof {
public:
+ virtual ~Proof() { }
virtual void toStream(std::ostream& out) = 0;
};/* class Proof */