distr/dddmp/dddmpDbg.c

   1 /**CFile**********************************************************************
   2
   3   FileName     [dddmpDbg.c]
   4
   5   PackageName  [dddmp]
   6
   7   Synopsis     [Functions to display BDD files]
   8
   9   Description  [Functions to display BDD files in binary format
  10     ]
  11
  12   Author       [Gianpiero Cabodi and Stefano Quer]
  13
  14   Copyright   [
  15     Copyright (c) 2004 by Politecnico di Torino.
  16     All Rights Reserved. This software is for educational purposes only.
  17     Permission is given to academic institutions to use, copy, and modify
  18     this software and its documentation provided that this introductory
  19     message is not removed, that this software and its documentation is
  20     used for the institutions' internal research and educational purposes,
  21     and that no monies are exchanged. No guarantee is expressed or implied
  22     by the distribution of this code.
  23     Send bug-reports and/or questions to:
  24     {gianpiero.cabodi,stefano.quer}@polito.it.
  25     ]
  26
  27 ******************************************************************************/
  28
  29 #include "dddmpInt.h"
  30
  31 /*---------------------------------------------------------------------------*/
  32 /* Stucture declarations                                                     */
  33 /*---------------------------------------------------------------------------*/
  34
  35 /*---------------------------------------------------------------------------*/
  36 /* Type declarations                                                         */
  37 /*---------------------------------------------------------------------------*/
  38
  39 /*---------------------------------------------------------------------------*/
  40 /* Variable declarations                                                     */
  41 /*---------------------------------------------------------------------------*/
  42
  43 /*---------------------------------------------------------------------------*/
  44 /* Macro declarations                                                        */
  45 /*---------------------------------------------------------------------------*/
  46
  47
  48 /**AutomaticStart*************************************************************/
  49
  50 /*---------------------------------------------------------------------------*/
  51 /* Static function prototypes                                                */
  52 /*---------------------------------------------------------------------------*/
  53
  54
  55 /**AutomaticEnd***************************************************************/
  56
  57
  58 /*---------------------------------------------------------------------------*/
  59 /* Definition of exported functions                                          */
  60 /*---------------------------------------------------------------------------*/
  61
  62
  63 /**Function********************************************************************
  64
  65   Synopsis     [Display a binary dump file in a text file]
  66
  67   Description  [Display a binary dump file in a text file]
  68
  69   SideEffects  [None]
  70
  71   SeeAlso      [Dddmp_cuddBddStore , Dddmp_cuddBddLoad ]
  72
  73 ******************************************************************************/
  74
  75 int
  76 Dddmp_cuddBddDisplayBinary(
  77   char *fileIn  /* IN: name of binary file */,
  78   char *fileOut /* IN: name of text file */
  79   )
  80 {
  81   FILE *fp, *fpo;
  82   int id, size;
  83   struct binary_dd_code code;
  84   char buf[1000];
  85   int nnodes, i;
  86
  87   fp = fopen (fileIn, "rb");
  88   if (fp == 0) {
  89     return (0);
  90   }
  91
  92   fpo = fopen (fileOut, "w");
  93   if (fpo == 0) {
  94     return (0);
  95   }
  96
  97   while (fgets(buf, 999,fp)!=NULL) {
  98     fprintf (fpo, "%s", buf);
  99     if (strncmp(buf, ".nnodes", 7) == 0) {
 100       sscanf (buf, "%*s %d", &nnodes);
 101     }
 102     if (strncmp(buf, ".rootids", 8) == 0) {
 103       break;
 104     }
 105   }
 106
 107   for (i=1; i<=nnodes; i++) {
 108     if (feof(fp)) {
 109       return (0);
 110     }
 111     if (DddmpReadCode(fp,&code) == 0) {
 112       return (0);
 113     }
 114     fprintf (fpo, "c  : v %d | T %d | E %d\n",
 115       (int)code.V, (int)code.T,
 116       (code.Ecompl ? -(int)(code.E) : (int)(code.E)));
 117     if (code.V == DDDMP_TERMINAL) {
 118       continue;
 119     }
 120     if (code.V <= DDDMP_RELATIVE_ID) {
 121       size = DddmpReadInt(fp,&id);
 122       if (size == 0) {
 123         return (0);
 124       }
 125       fprintf(fpo, "v(%d): %d\n", size, id);
 126     }
 127     if (code.T <= DDDMP_RELATIVE_ID) {
 128       size = DddmpReadInt(fp,&id);
 129       if (size == 0) {
 130         return (0);
 131       }
 132       fprintf(fpo, "T(%d): %d\n", size, id);
 133     }
 134     if (code.E <= DDDMP_RELATIVE_ID) {
 135       size = DddmpReadInt(fp,&id);
 136       if (size == 0) {
 137         return (0);
 138       }
 139       fprintf(fpo, "E(%d): %d\n", size, id);
 140     }
 141
 142   }
 143
 144   fgets(buf, 999,fp);
 145   if (strncmp(buf, ".end", 4) != 0) {
 146     return (0);
 147   }
 148
 149   fprintf(fpo, ".end");
 150
 151   fclose(fp);
 152   fclose(fpo);
 153
 154   return (1);
 155 }
 156
 157
 158 /*---------------------------------------------------------------------------*/
 159 /* Definition of internal functions                                          */
 160 /*---------------------------------------------------------------------------*/
 161
 162 /*---------------------------------------------------------------------------*/
 163 /* Definition of static functions                                            */
 164 /*---------------------------------------------------------------------------*/
 165
 166