Serialize ID API

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 448fb9a7304e6b38a4b891883d151ff805d6a5d2..0900a0b06245d19518dc213fba536cafd7c2780a 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -174,11 +174,10 @@ CSolver *CSolver::deserialize(const char *file, InterpreterType itype) {
        return deserializer.deserialize();
 }
 
-void CSolver::serialize() {
+void CSolver::serializeID(long long id) {
        model_print("serializing ...\n");
        char buffer[255];
-       long long nanotime = getTimeNano();
-       int numchars = sprintf(buffer, "DUMP%llu", nanotime);
+       int numchars = sprintf(buffer, "%llu.dump", id);
        Serializer serializer(buffer);
        SetIteratorBooleanEdge *it = getConstraints();
        while (it->hasNext()) {
@@ -188,6 +187,11 @@ void CSolver::serialize() {
        delete it;
 }
 
+void CSolver::serialize() {
+       long long nanotime = getTimeNano();
+       serializeID(nanotime);
+}
+
 Set *CSolver::createSet(VarType type, uint64_t *elements, uint numelements) {
        Set *set = new Set(type, elements, numelements);
        allSets.push(set);