Merge pull request #35 from nseeuws/crossplatform_lib

Converted types for crossplatform compatibility
ML-KULeuven · Jun 14, 2024 · c62cb4e · c62cb4e
2 parents 0cf1540 + 1e84b9b
commit c62cb4e
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/pysdd/lib/libsdd-2.0/include/sdd.h b/pysdd/lib/libsdd-2.0/include/sdd.h
@@ -30,7 +30,7 @@ typedef size_t SddNodeSize; //size of decomposition for sdd nodes
 typedef size_t SddRefCount; //refcount
 typedef unsigned long long SddModelCount; //model count
 typedef double SddWmc; // weighted model count
-typedef long SddLiteral; //literals of clauses
+typedef long long SddLiteral; //literals of clauses
 
 //control strings
 #define PRIsS "zu"

diff --git a/pysdd/lib/libsdd-2.0/sddapi.h b/pysdd/lib/libsdd-2.0/sddapi.h
@@ -27,7 +27,7 @@ typedef size_t SddNodeSize; //size of decomposition for sdd nodes
 typedef size_t SddRefCount; //refcount
 typedef unsigned long long SddModelCount; //model counts
 typedef double SddWmc; // weighted model count
-typedef long SddLiteral; //literals of clauses
+typedef long long SddLiteral; //literals of clauses
 
 //control strings
 #define PRIsS "zu"

diff --git a/pysdd/lib/libsdd-2.0/src/sdds/exists_multiple.c b/pysdd/lib/libsdd-2.0/src/sdds/exists_multiple.c
@@ -32,7 +32,7 @@ static void deref_nodes_of_terminal_shadows(SddShadows* shadows);
 //exists_map[var]  : is 1 if var is to be existentially quantified, 0 otherwise
 //exists_map[0]    : not used
 
-static long ref_count; //sanity check
+static long long ref_count; //sanity check
 
 SddNode* sdd_exists_multiple(int* exists_map, SddNode* node, SddManager* manager) {
   CHECK_ERROR(GC_NODE(node),ERR_MSG_GC,"sdd_exists_multiple");

diff --git a/pysdd/lib/sdd-2.0/include/sddapi.h b/pysdd/lib/sdd-2.0/include/sddapi.h
@@ -27,7 +27,7 @@ typedef size_t SddNodeSize; //size of decomposition for sdd nodes, changed to si
 typedef size_t SddRefCount; //refcount, changed to size_t for cross-platform compatibility
 typedef unsigned long long SddModelCount; //model counts
 typedef double SddWmc; // weighted model count
-typedef long SddLiteral; //literals of clauses
+typedef long long SddLiteral; //literals of clauses
 typedef char SddNodeType; //holds one of two values defined next
 
 //control strings