From 7ef033300e20519d5da8ac1b2db2b5755d065a3c Mon Sep 17 00:00:00 2001 From: wannesm Date: Wed, 11 Oct 2023 15:22:49 +0200 Subject: [PATCH] cross-platform compatibility --- pysdd/lib/libsdd-2.0/include/sdd.h | 4 ++-- pysdd/lib/libsdd-2.0/sddapi.h | 4 ++-- pysdd/lib/libsdd-2.0/src/sdds/io.c | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/pysdd/lib/libsdd-2.0/include/sdd.h b/pysdd/lib/libsdd-2.0/include/sdd.h index bf41183..43ae0dc 100644 --- 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 index ef9e8ff..dfb7284 100644 --- 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 index e849f11..5f1fd74 100644 --- 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"); }