src/calBdd/calPrintProfile.c

Go to the documentation of this file.

#include "calInt.h"

/*---------------------------------------------------------------------------*/
/* Constant declarations                                                     */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Type declarations                                                         */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Stucture declarations                                                     */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Variable declarations                                                     */
/*---------------------------------------------------------------------------*/

static char profileWidth[] = "XXXXXXXXX";

/*---------------------------------------------------------------------------*/
/* Macro declarations                                                        */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Static function prototypes                                                */
/*---------------------------------------------------------------------------*/

static void CalBddPrintProfileAux(Cal_BddManager_t * bddManager, long * levelCounts, Cal_VarNamingFn_t varNamingProc, char * env, int lineLength, FILE * fp);
static void chars(char c, int n, FILE * fp);

/*---------------------------------------------------------------------------*/
/* Definition of exported functions                                          */
/*---------------------------------------------------------------------------*/

void
Cal_BddPrintProfile(Cal_BddManager  bddManager,
                    Cal_Bdd  fUserBdd,
                    Cal_VarNamingFn_t varNamingProc,
                    char * env,
                    int  lineLength,
                    FILE * fp)
{
  long *levelCounts;

  if (CalBddPreProcessing(bddManager, 1, fUserBdd) == 0){
        return;
  }
  levelCounts = Cal_MemAlloc(long, bddManager->numVars+1);
  Cal_BddProfile(bddManager, fUserBdd, levelCounts, 1);
  CalBddPrintProfileAux(bddManager, levelCounts, varNamingProc, env,
                        lineLength, fp); 
  Cal_MemFree(levelCounts);
}

void
Cal_BddPrintProfileMultiple(
  Cal_BddManager bddManager,
  Cal_Bdd *userBdds,
  Cal_VarNamingFn_t varNamingProc,
  char * env,
  int  lineLength,
  FILE * fp)
{
  long *levelCounts;

  if (CalBddArrayPreProcessing(bddManager, userBdds) == 0){
        return;
  }
  levelCounts = Cal_MemAlloc(long, bddManager->numVars+1);
  Cal_BddProfileMultiple(bddManager, userBdds, levelCounts, 1);
  CalBddPrintProfileAux(bddManager, levelCounts, varNamingProc, env, lineLength, fp);
  Cal_MemFree(levelCounts);
}



void
Cal_BddPrintFunctionProfile(Cal_BddManager bddManager,
                            Cal_Bdd  f,
                            Cal_VarNamingFn_t varNamingProc,
                            char * env,
                            int  lineLength,
                            FILE * fp)
{
  long *levelCounts;
  if (CalBddPreProcessing(bddManager, 1, f)){
        return;
  }
  levelCounts = Cal_MemAlloc(long, bddManager->numVars+1);
  Cal_BddFunctionProfile(bddManager, f, levelCounts);
  CalBddPrintProfileAux(bddManager, levelCounts, varNamingProc, env,
                        lineLength, fp); 
  Cal_MemFree(levelCounts);
}


void
Cal_BddPrintFunctionProfileMultiple(Cal_BddManager bddManager,
                                    Cal_Bdd *userBdds,
                                    Cal_VarNamingFn_t varNamingProc,
                                    char * env,
                                    int  lineLength,
                                    FILE * fp)
{
  long *levelCounts;
  if (CalBddArrayPreProcessing(bddManager, userBdds) == 0){
        return;
  }
  levelCounts = Cal_MemAlloc(long, bddManager->numVars+1);
  Cal_BddFunctionProfileMultiple(bddManager, userBdds, levelCounts);
  CalBddPrintProfileAux(bddManager, levelCounts, varNamingProc, env, lineLength, fp);
  Cal_MemFree(levelCounts);
}

/*---------------------------------------------------------------------------*/
/* Definition of static functions                                          */
/*---------------------------------------------------------------------------*/
static void
CalBddPrintProfileAux(
  Cal_BddManager_t * bddManager,
  long * levelCounts,
  Cal_VarNamingFn_t varNamingProc,
  char * env,
  int  lineLength,
  FILE * fp)
{
  long i, n;
  int l;
  char *name;
  int maxPrefixLen;
  int maxProfileWidth;
  int histogramColumn;
  int histogramWidth;
  int profileScale;
  long total;

  n = bddManager->numVars;
  /* max_... initialized with values for leaf nodes */
  maxPrefixLen = 5;
  maxProfileWidth = levelCounts[n];
  total = levelCounts[n];
  for(i = 0; i < n; i++){
    if(levelCounts[i]){
      sprintf(profileWidth, "%ld", levelCounts[i]);
      l = strlen(CalBddVarName(bddManager, 
          bddManager->varBdds[bddManager->indexToId[i]],
          varNamingProc, env)) + strlen((char *)profileWidth);
      if(l > maxPrefixLen){
        maxPrefixLen = l;
      }
      if(levelCounts[i] > maxProfileWidth){
        maxProfileWidth = levelCounts[i];
      }
      total += levelCounts[i];
    }
  }
  histogramColumn = maxPrefixLen+3;
  histogramWidth = lineLength-histogramColumn-1;
  if(histogramWidth < 20)
    histogramWidth = 20;                /* Random minimum width */
  if(histogramWidth >= maxProfileWidth){
    profileScale = 1;
  }
  else{
    profileScale = (maxProfileWidth+histogramWidth-1)/histogramWidth;
  }
  for(i = 0; i < n; ++i){
    if(levelCounts[i]){
      name = CalBddVarName(bddManager,
          bddManager->varBdds[bddManager->indexToId[i]],
          varNamingProc, env);
      fputs(name, fp);
      fputc(':', fp);
      sprintf(profileWidth, "%ld", levelCounts[i]);
      chars(' ', (int)(maxPrefixLen-strlen(name)-strlen(profileWidth)+1), fp);
      fputs(profileWidth, fp);
      fputc(' ', fp);
      chars('#', levelCounts[i]/profileScale, fp);
      fputc('\n', fp);
    }
  }
  fputs("leaf:", fp);
  sprintf(profileWidth, "%ld", levelCounts[n]);
  chars(' ', (int)(maxPrefixLen-4-strlen(profileWidth)+1), fp);
  fputs(profileWidth, fp);
  fputc(' ', fp);
  chars('#', levelCounts[n]/profileScale, fp);
  fputc('\n', fp);
  fprintf(fp, "Total: %ld\n", total);
}

static void
chars(
  char  c,
  int  n,
  FILE * fp)
{
  int i;

  for(i = 0; i < n; ++i){
    fputc(c, fp);
  }
}

---