Change Glucose to NSPACE in src and include files

This change will ease changing SAT solver

Signed-off-by: Prateek Kumar <[email protected]>

include/cclause.h

@@ -7,7 +7,7 @@
 #include <vector>
 class Clauses;
 
-using namespace Glucose;
+using namespace NSPACE;
 
 /**
  * @brief      Class for  representing a clause.

include/clauses.h

@@ -7,7 +7,7 @@
 #include "time_tabler.h"
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 
 class CClause;
 

include/constraint_adder.h

@@ -9,7 +9,7 @@
 #include "global.h"
 class TimeTabler;
 
-using namespace Glucose;
+using namespace NSPACE;
 
 /**
  * @brief      Class for constraint adder.

include/constraint_encoder.h

@@ -9,7 +9,7 @@
 #include "time_tabler.h"
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 
 /**
  * @brief      Class for constraint encoder.

include/data.h

@@ -13,7 +13,7 @@
 #include <string>
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 
 /**
  * @brief      Class for data.

include/time_tabler.h

@@ -11,7 +11,7 @@
 #include "tsolver.h"
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 
 /**
  * @brief      Enum to store the solver status

include/tsolver.h

@@ -8,7 +8,7 @@
 #include "mtl/Vec.h"
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 using namespace openwbo;
 
 /**

include/utils.h

@@ -9,12 +9,12 @@
 #include <string>
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 
 namespace Utils {
 
 /**
- * @brief      Converts a std::vector to a Glucose::vec.
+ * @brief      Converts a std::vector to a NSPACE::vec.
  *
  * @param[in]  inputs  The input vector
  *
@@ -31,7 +31,7 @@ template <typename T> vec<T> convertVectorToVec(std::vector<T> inputs) {
 }
 
 /**
- * @brief      Converts a Glucose::vec to a std::vector.
+ * @brief      Converts a NSPACE::vec to a std::vector.
  *
  * @param[in]  inputs  The input vec
  *
@@ -48,7 +48,7 @@ template <typename T> std::vector<T> convertVecToVector(vec<T> inputs) {
 }
 
 /**
- * @brief      Converts given data and size, a Glucose::vec to a std::vector.
+ * @brief      Converts given data and size, a NSPACE::vec to a std::vector.
  *
  * @param      data  The data pointer
  * @param[in]  size  The size

src/cclause.cpp

@@ -5,7 +5,7 @@
 #include <iostream>
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 
 /**
  * @brief      Constructs the CClause object.

src/clauses.cpp

@@ -6,7 +6,7 @@
 #include <iostream>
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 
 /**
  * @brief      Constructs the Clauses object.

src/constraint_adder.cpp

@@ -9,7 +9,7 @@
 #include <iostream>
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 
 /**
  * @brief      Constructs the ConstraintAdder object.

src/constraint_encoder.cpp

@@ -9,7 +9,7 @@
 #include <iostream>
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 
 /**
  * @brief      Constructs the ConstraintEncoder object.

src/time_tabler.cpp

@@ -12,7 +12,7 @@
 #include <iostream>
 #include <vector>
 
-using namespace Glucose;
+using namespace NSPACE;
 
 /**
  * @brief      Constructs the TimeTabler object.

src/tsolver.cpp

@@ -36,7 +36,7 @@
 #include "mtl/Vec.h"
 #include "utils.h"
 
-using namespace Glucose;
+using namespace NSPACE;
 using namespace openwbo;
 
 /**