From 9c98ba1794a2422f1be8202d615633e1c8e74b10 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 1 Sep 2005 08:01:00 -0700
Subject: Version abc50901

---
 src/sop/ft/ftPrint.c | 35 ++++++++---------------------------
 1 file changed, 8 insertions(+), 27 deletions(-)

(limited to 'src/sop/ft/ftPrint.c')

diff --git a/src/sop/ft/ftPrint.c b/src/sop/ft/ftPrint.c
index e08ceaae..78f91b8f 100644
--- a/src/sop/ft/ftPrint.c
+++ b/src/sop/ft/ftPrint.c
@@ -46,9 +46,8 @@ static int    Ft_FactorPrintOutputName( FILE * pFile, char * pNameOut, int fComp
 void Ft_FactorPrint( FILE * pFile, Vec_Int_t * vForm, char * pNamesIn[], char * pNameOut )
 {
     Ft_Node_t * pNode;
-    char Buffer[5];
-    int Pos, i, LitSizeMax, LitSizeCur, nVars;
-    int fMadeupNames;
+    Vec_Ptr_t * vNamesIn = NULL;
+    int LitSizeMax, LitSizeCur, nVars, Pos, i;
 
     // sanity checks
     nVars = Ft_FactorGetNumVars( vForm );
@@ -56,27 +55,13 @@ void Ft_FactorPrint( FILE * pFile, Vec_Int_t * vForm, char * pNamesIn[], char *
     assert( vForm->nSize > nVars );
 
     // create the names if not given by the user
-    fMadeupNames = 0;
     if ( pNamesIn == NULL )
     {
-        fMadeupNames = 1;
-        pNamesIn = ALLOC( char *, nVars );
-        for ( i = 0; i < nVars; i++ )
-        {
-            if ( nVars < 26 )
-            {
-                Buffer[0] = 'a' + i;
-                Buffer[1] = 0;
-            }
-            else
-            {
-                Buffer[0] = 'a' + i%26;
-                Buffer[1] = '0' + i/26;
-                Buffer[2] = 0;
-            }
-            pNamesIn[i] = util_strsav( Buffer );
-        }
+        vNamesIn = Abc_NodeGetFakeNames( nVars );
+        pNamesIn = (char **)vNamesIn->pArray;
     }
+    if ( pNameOut == NULL )
+        pNameOut = "F";
 
     // get the size of the longest literal
     LitSizeMax = 0;
@@ -103,12 +88,8 @@ void Ft_FactorPrint( FILE * pFile, Vec_Int_t * vForm, char * pNamesIn[], char *
     }
     fprintf( pFile, "\n" );
 
-    if ( fMadeupNames )
-    {
-        for ( i = 0; i < nVars; i++ )
-            free( pNamesIn[i] );
-        free( pNamesIn );
-    }
+    if ( vNamesIn )
+        Abc_NodeFreeNames( vNamesIn );
 }
 
 /**Function*************************************************************
-- 
cgit v1.2.3