From 20518f59d12c8dcb7e0ae9046edd937da7f1f6fe Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 9 Aug 2012 18:45:53 -0700
Subject: Compiler warnings.

---
 src/base/abci/abcDec.c | 14 +++++++-------
 src/base/abci/abcNpn.c | 12 ++++++------
 2 files changed, 13 insertions(+), 13 deletions(-)

(limited to 'src/base/abci')

diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c
index eb17663e..331f9e98 100644
--- a/src/base/abci/abcDec.c
+++ b/src/base/abci/abcDec.c
@@ -154,7 +154,7 @@ Abc_TtStore_t * Abc_TruthStoreAlloc( int nVars, int nFuncs )
         p->pFuncs[i] = p->pFuncs[i-1] + p->nWords;
     return p;
 }
-void Abc_TruthStoreFree( Abc_TtStore_t * p )
+void Abc_TtStoreFree( Abc_TtStore_t * p )
 {
     free( p->pFuncs[0] );
     free( p->pFuncs );
@@ -338,7 +338,7 @@ void Abc_TruthStoreWrite( char * pFileName, Abc_TtStore_t * p )
   SeeAlso     []
 
 ***********************************************************************/
-Abc_TtStore_t * Abc_TruthStoreLoad( char * pFileName )
+Abc_TtStore_t * Abc_TtStoreLoad( char * pFileName )
 { 
     Abc_TtStore_t * p;
     char * pFileInput  = pFileName;
@@ -368,14 +368,14 @@ Abc_TtStore_t * Abc_TruthStoreLoad( char * pFileName )
   SeeAlso     []
 
 ***********************************************************************/
-void Abc_TruthStoreTest( char * pFileName )
+void Abc_TtStoreTest( char * pFileName )
 { 
     Abc_TtStore_t * p;
     char * pFileInput  = pFileName;
     char * pFileOutput = "out.txt";
 
     // read info from file
-    p = Abc_TruthStoreLoad( pFileInput );
+    p = Abc_TtStoreLoad( pFileInput );
     if ( p == NULL )
         return;
 
@@ -383,7 +383,7 @@ void Abc_TruthStoreTest( char * pFileName )
     Abc_TruthStoreWrite( pFileOutput, p );
 
     // delete data-structure
-    Abc_TruthStoreFree( p );
+    Abc_TtStoreFree( p );
     printf( "Input file \"%s\" was copied into output file \"%s\".\n", pFileInput, pFileOutput );
 }
 
@@ -511,7 +511,7 @@ void Abc_TruthDecTest( char * pFileName, int DecType, int fVerbose )
     Abc_TruthDecPerform( p, DecType, fVerbose );
 
     // delete data-structure
-    Abc_TruthStoreFree( p );
+    Abc_TtStoreFree( p );
 //    printf( "Finished decomposing truth tables from file \"%s\".\n", pFileName );
 }
 
@@ -532,7 +532,7 @@ int Abc_DecTest( char * pFileName, int DecType, int fVerbose )
     if ( fVerbose )
         printf( "Using truth tables from file \"%s\"...\n", pFileName );
     if ( DecType == 0 )
-        Abc_TruthStoreTest( pFileName );
+        Abc_TtStoreTest( pFileName );
     else if ( DecType >= 1 && DecType <= 3 )
         Abc_TruthDecTest( pFileName, DecType, fVerbose );
     else
diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c
index 7d46006b..5c21d98e 100644
--- a/src/base/abci/abcNpn.c
+++ b/src/base/abci/abcNpn.c
@@ -47,9 +47,9 @@ struct Abc_TtStore_t_
     word **           pFuncs;
 };
 
-extern Abc_TtStore_t * Abc_TruthStoreLoad( char * pFileName );
-extern void            Abc_TruthStoreFree( Abc_TtStore_t * p );
-extern void            Abc_TruthStoreTest( char * pFileName );
+extern Abc_TtStore_t * Abc_TtStoreLoad( char * pFileName );
+extern void            Abc_TtStoreFree( Abc_TtStore_t * p );
+extern void            Abc_TtStoreTest( char * pFileName );
 
 ////////////////////////////////////////////////////////////////////////
 ///                     FUNCTION DEFINITIONS                         ///
@@ -183,7 +183,7 @@ void Abc_TruthNpnTest( char * pFileName, int NpnType, int fVerbose )
     Abc_TtStore_t * p;
 
     // read info from file
-    p = Abc_TruthStoreLoad( pFileName );
+    p = Abc_TtStoreLoad( pFileName );
     if ( p == NULL )
         return;
 
@@ -191,7 +191,7 @@ void Abc_TruthNpnTest( char * pFileName, int NpnType, int fVerbose )
     Abc_TruthNpnPerform( p, NpnType, fVerbose );
 
     // delete data-structure
-    Abc_TruthStoreFree( p );
+    Abc_TtStoreFree( p );
 //    printf( "Finished computing canonical forms for functions from file \"%s\".\n", pFileName );
 }
 
@@ -212,7 +212,7 @@ int Abc_NpnTest( char * pFileName, int NpnType, int fVerbose )
     if ( fVerbose )
         printf( "Using truth tables from file \"%s\"...\n", pFileName );
     if ( NpnType == 0 )
-        Abc_TruthStoreTest( pFileName );
+        Abc_TtStoreTest( pFileName );
     else if ( NpnType >= 1 && NpnType <= 3 )
         Abc_TruthNpnTest( pFileName, NpnType, fVerbose );
     else
-- 
cgit v1.2.3