Fixed bugs

Author: kwrx

README.md

@@ -10,7 +10,7 @@ $ cmake -DCMAKE_BUILD_TYPE=Release -B build
 $ cmake --build build
 $ cmake --install build
 ```
-**NOTE:** [CMake](https://cmake.org/) >= 3.11 and [Boost C++ Libraries](https://www.boost.org/) >= 1.72.0 are required.
+**NOTE:** [CMake](https://cmake.org/) >= 3.20 and [Boost C++ Libraries](https://www.boost.org/) >= 1.72.0 are required.
 
 ## Usage
 Open your terminal and type:
@@ -19,7 +19,7 @@ $ qasp [OPTIONS] SOURCES...
 ```
 Or read from *stdin*
 ```shell script
-$ cat SOURCES | qasp
+$ cat SOURCE | qasp
 ```
 **NOTE:** type ```qasp --help``` for more information.
 
@@ -34,7 +34,7 @@ d :- b.
 %@constraints
 :- c, not d.
 ```
-Calculate if exists an *answer set* of **@exists fragment** such that for each *answer set* of **@forall fragmemt** is a *coherent* solution.
+Calculate if exists an *answer set* of **@exists program** such that for each *answer set* of **@forall program** is a *coherent* solution.
 ```shell script
 $ qasp program.asp
 ```

src/qasp/Program.hpp

@@ -114,11 +114,12 @@ namespace qasp {
             ProgramType __type;
             std::string __source;
             std::string __ground;
-            Assumptions __assumptions;
             std::vector<Program> __subprograms;
-            std::unordered_map<std::string, Atom> __atoms;
-            atom_index_t __atoms_index_offset;
-            bool __last;
+
+            std::unordered_map<std::string, Atom> __atoms {};
+            atom_index_t __atoms_index_offset = 0;
+            Assumptions __assumptions {};
+            bool __last = false;
 
 
             inline const atom_index_t map_index(const Atom& atom) const { __PERF_INC(mapping);

src/qasp/QaspSolver.cpp

@@ -130,6 +130,8 @@ bool QaspSolver::get_coherent_answer(const Program& program, const std::vector<A
     // FIXME: evalute if checking can be anticipated
     bool should_not_check = !program.last();
 
+    LOG(__FILE__, TRACE) << "PROGRAM LAST: " << program.last() << std::endl;
+
 
     size_t incoherencies = 0;
 

src/qasp/QaspSolver.hpp

@@ -64,8 +64,8 @@ namespace qasp {
             Qasp __qasp;
             Program __program;
             ProgramModel __model;
-            std::optional<Program> __constraint;
-            std::vector<AnswerSet> __solution;
+            std::optional<Program> __constraint {};
+            std::vector<AnswerSet> __solution {};
 
             void init();
             bool check(const AnswerSet& answer) const;

src/qasp/grounder/Grounder.hpp

@@ -41,7 +41,7 @@ namespace qasp::grounder {
             virtual std::string execute(const std::string& source) const = 0;
 
         private:
-            qasp::utils::Cache<std::size_t, std::string> cache;
+            qasp::utils::Cache<std::size_t, std::string> cache {};
 
 
     };

src/qasp/utils/Cache.hpp

@@ -65,7 +65,7 @@ namespace qasp::utils {
 
         private:
 
-            std::mutex m_lock;
+            std::mutex m_lock {};
 
     };
 

src/qasp/utils/Executor.hpp

@@ -70,13 +70,13 @@ namespace qasp::utils {
             std::atomic<bool> __alive;
 
 
-            std::deque<std::tuple<std::function<R(T...)>, T...> pending;
-            std::deque<std::thread> units;
+            std::deque<std::tuple<std::function<R(T...)>, T...> pending {};
+            std::deque<std::thread> units {};
 
-            std::condition_variable cv_status;
+            std::condition_variable cv_status {};
 
-            std::mutex mx_status;
-            std::mutex mx_pending;
+            std::mutex mx_status {};
+            std::mutex mx_pending {};
 
 
             inline void init() {