From 0de9189bd34d61540c1882f4aad4d8b01dc7681b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 13 Jul 2007 10:05:37 +0000 Subject: [PATCH] Improvement to MTBDD vector/matrix display functions. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@424 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/dd/dd_matrix.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/dd/dd_matrix.cc b/prism/src/dd/dd_matrix.cc index 0fb4c70b..86c83e6c 100644 --- a/prism/src/dd/dd_matrix.cc +++ b/prism/src/dd/dd_matrix.cc @@ -392,7 +392,7 @@ int accuracy case ACCURACY_LOW: fprintf(dd_out, "%.2f ", val); break; case ACCURACY_NORMAL: fprintf(dd_out, "%f ", val); break; case ACCURACY_HIGH: fprintf(dd_out, "%.10f ", val); break; - case ACCURACY_LIST: if (val>0) fprintf(dd_out, "%d ", i); break; + case ACCURACY_LIST: if (val>0) fprintf(dd_out, "%d:%f ", i, val); break; } } fprintf(dd_out, "\n"); @@ -461,7 +461,7 @@ int accuracy case ACCURACY_LOW: fprintf(dd_out, "%.2f ", val); break; case ACCURACY_NORMAL: fprintf(dd_out, "%f ", val); break; case ACCURACY_HIGH: fprintf(dd_out, "%.10f ", val); break; - case ACCURACY_LIST: if (val>0) fprintf(dd_out, "%d,%d ", i, j); break; + case ACCURACY_LIST: if (val>0) fprintf(dd_out, "%d,%d:%f ", i, j, val); break; } } fprintf(dd_out, "\n"); @@ -528,7 +528,7 @@ int accuracy case ACCURACY_LOW: fprintf(dd_out, "%.2f ", val); break; case ACCURACY_NORMAL: fprintf(dd_out, "%f ", val); break; case ACCURACY_HIGH: fprintf(dd_out, "%.10f ", val); break; - case ACCURACY_LIST: if (val>0) fprintf(dd_out, "%d ", count); break; + case ACCURACY_LIST: if (val>0) fprintf(dd_out, "%d:%f ", count, val); break; } } }