1 files changed, 173 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/src/simplefile.h b/cryptominisat5/cryptominisat-5.6.3/src/simplefile.h
new file mode 100644
index 000000000..43af2ad06
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/src/simplefile.h
@@ -0,0 +1,173 @@
+/******************************************
+Copyright (c) 2016, Mate Soos
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+***********************************************/
+
+#ifndef __SIMPLEFILE_H__
+#define __SIMPLEFILE_H__
+
+#include <fstream>
+#include <iostream>
+#include <string>
+#include <cstdint>
+using std::ios;
+
+#include "solvertypes.h"
+
+namespace CMSat {
+
+class SimpleOutFile
+{
+public:
+    void start(const string& fname)
+    {
+        outf = new std::ofstream(fname.c_str(), ios::out | ios::binary);
+        outf->exceptions(~std::ios::goodbit);
+        //buffer.resize(100000000);
+        //outf->rdbuf()->pubsetbuf(&buffer.front(), buffer.size());
+    }
+
+    ~SimpleOutFile()
+    {
+        delete outf;
+    }
+
+    void put_uint32_t(const uint32_t val)
+    {
+        put(&val, 4);
+    }
+
+    void put_lbool(const lbool val)
+    {
+        put(&val, sizeof(lbool));
+    }
+
+    void put_uint64_t(const uint64_t val)
+    {
+        put(&val, 8);
+    }
+
+    void put_lit(const Lit l)
+    {
+        put_uint32_t(l.toInt());
+    }
+
+    template<class T>
+    void put_vector(const vector<T>& d)
+    {
+        put_uint64_t(d.size());
+        if (d.size() == 0)
+            return;
+
+        put(&d[0], d.size() * sizeof(T));
+    }
+
+    template<class T>
+    void put_struct(const T& d)
+    {
+        put(&d, sizeof(T));
+    }
+
+private:
+    std::ofstream* outf = NULL;
+    //vector<char> buffer;
+
+    void put(const void* ptr, size_t num)
+    {
+        outf->write((const char*)ptr, num);
+    }
+};
+
+class SimpleInFile
+{
+public:
+    void start(const string& fname)
+    {
+        try {
+            inf = new std::ifstream(fname.c_str(), ios::in | ios::binary);
+            inf->exceptions(~std::ios::goodbit);
+        } catch (...) {
+            cout << "Error opening file " << fname.c_str() << endl;
+            exit(-1);
+        }
+    }
+
+    ~SimpleInFile()
+    {
+        delete inf;
+    }
+
+    uint32_t get_uint32_t()
+    {
+        uint32_t val = 0;
+        inf->read((char*)&val, 4);
+        return val;
+    }
+
+    uint64_t get_uint64_t()
+    {
+        uint64_t val = 0;
+        inf->read((char*)&val, 8);
+        return val;
+    }
+
+    Lit get_lit()
+    {
+        uint32_t l = get_uint32_t();
+        return Lit::toLit(l);
+    }
+
+    lbool get_lbool()
+    {
+        lbool l;
+        inf->read((char*)&l, sizeof(lbool));
+        return l;
+    }
+
+    template<class T>
+    void get_vector(vector<T>& d)
+    {
+        assert(d.empty());
+        uint64_t sz = get_uint64_t();
+        if (sz == 0)
+            return;
+
+        d.resize(sz);
+        get_raw(&d[0], d.size(), sizeof(T));
+    }
+
+    template<class T>
+    void get_struct(T& d)
+    {
+        inf->read((char*)&d, sizeof(T));
+    }
+
+private:
+    std::ifstream* inf = NULL;
+
+    void get_raw(void* ptr, size_t num, size_t elem_sz)
+    {
+        inf->read((char*)ptr, num*elem_sz);
+    }
+};
+
+}
+
+#endif //__SIMPLEFILE_H__