From 9922c712e54a8cfb6ae81ad07f9b3dca3f9f9cb4 Mon Sep 17 00:00:00 2001 From: Andrea Micheli Date: Wed, 22 Jul 2020 10:39:38 +0200 Subject: [PATCH 1/2] Added function to dump dot format of a DdArray --- ddmanager.i | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/ddmanager.i b/ddmanager.i index 4e7be49..5f89c2f 100644 --- a/ddmanager.i +++ b/ddmanager.i @@ -694,6 +694,18 @@ cerr << "Quitting manager" << endl; return retval; } + int DumpDotArray(DdArray *array, const char* fname) { + FILE *dfp = NULL; + int retval; + + dfp = fopen(fname, "w"); + + retval = Cudd_DumpDot(self,1,array->vec,NULL,NULL,dfp); + + fclose(dfp); + return retval; + } + int DumpBlif(DdNode *this_node) { FILE *dfp = NULL; From 9d8f3e605eb73e9657f9705ece49459a7eb6b25e Mon Sep 17 00:00:00 2001 From: Andrea Micheli Date: Thu, 23 Jul 2020 11:26:19 +0200 Subject: [PATCH 2/2] Fixed bug in new function: now it prints all the nodes in the given DdArray --- ddmanager.i | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ddmanager.i b/ddmanager.i index 5f89c2f..39f21a2 100644 --- a/ddmanager.i +++ b/ddmanager.i @@ -700,7 +700,7 @@ cerr << "Quitting manager" << endl; dfp = fopen(fname, "w"); - retval = Cudd_DumpDot(self,1,array->vec,NULL,NULL,dfp); + retval = Cudd_DumpDot(self,array->sz,array->vec,NULL,NULL,dfp); fclose(dfp); return retval;