cross-platform compatibility

ML-KULeuven · Oct 11, 2023 · 7ef0333 · 7ef0333
1 parent f77d514
commit 7ef0333
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/pysdd/lib/libsdd-2.0/include/sdd.h b/pysdd/lib/libsdd-2.0/include/sdd.h
@@ -26,8 +26,8 @@
 
 //sdd types
 typedef size_t SddSize; //number of nodes, sizes of hash tables, etc
-typedef unsigned int SddNodeSize; //size of decomposition for sdd nodes
-typedef unsigned int SddRefCount; //refcount
+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

diff --git a/pysdd/lib/libsdd-2.0/sddapi.h b/pysdd/lib/libsdd-2.0/sddapi.h
@@ -23,8 +23,8 @@
 
 //sdd types
 typedef size_t SddSize; //number of nodes, sizes of hash tables, etc
-typedef unsigned int SddNodeSize; //size of decomposition for sdd nodes
-typedef unsigned int SddRefCount; //refcount
+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

diff --git a/pysdd/lib/libsdd-2.0/src/sdds/io.c b/pysdd/lib/libsdd-2.0/src/sdds/io.c
@@ -285,7 +285,7 @@ void print_sdd_node_file(FILE* file, SddNode* node) {
   else if(node->type==FALSE) fprintf(file,"F %"PRIsS"\n",node->index);
   else if(node->type==LITERAL) fprintf(file,"L %"PRIsS" %"PRIsS" %"PRIlitS"\n",node->index,vtree->position,LITERAL_OF(node));
   else {//decomposition 
-    fprintf(file,"D %"PRIsS" %"PRIsS" %"PRInsS"",node->index,vtree->position,node->size);
+    fprintf(file,"D %"PRIsS" %"PRIsS" %"PRIsS"",node->index,vtree->position,node->size);
 	FOR_each_prime_sub_of_node(prime,sub,node,fprintf(file," %"PRIsS" %"PRIsS"",prime->index,sub->index));
     fprintf(file,"\n");     
   }