Refactor CheckLog @ Problem::check

include/core/utils/check_log.hpp

@@ -2,31 +2,42 @@
 #define CHECK_LOG_HPP
 #include <iostream>
 #include <string>
+#include <sstream>
 
-class CheckLog {
+namespace wolf
+{
+class CheckLog
+{
+  public:
+    bool        is_consistent_;
+    std::string explanation_;
 
-public:
-
-  bool is_consistent_;
-  std::string explanation_;
-
-  CheckLog() {
-    is_consistent_ = true;
-    explanation_ = "";
-  }
-  CheckLog(bool consistent, std::string explanation) {
-    is_consistent_ = consistent;
-    if (not consistent)
-      explanation_ = explanation;
-    else
-      explanation_ = "";
-  }
-  ~CheckLog(){};
-  void compose(CheckLog l) {
-
-    CheckLog result_log;
-    is_consistent_ = is_consistent_ and l.is_consistent_;
-    explanation_ = explanation_ + l.explanation_;
-  }
+    CheckLog()
+    {
+        is_consistent_ = true;
+        explanation_   = "";
+    }
+    CheckLog(bool consistent, std::string explanation)
+    {
+        is_consistent_ = consistent;
+        if (not consistent)
+            explanation_ = explanation;
+        else
+            explanation_ = "";
+    }
+    ~CheckLog(){};
+    void compose(CheckLog l)
+    {
+        is_consistent_ = is_consistent_ and l.is_consistent_;
+        explanation_   = explanation_ + l.explanation_;
+    }
+    void addAssertion(bool condition, std::stringstream& stream)
+    {
+        auto cl = CheckLog(condition, stream.str());
+        this->compose(cl);
+        // Clear inconsistency_explanation
+        std::stringstream().swap(stream);
+    }
 };
+}  // namespace wolf
 #endif