diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 16:13:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 16:13:54 -0700 |
| commit | 6325e41681a259cf63de3aabe10b4b0930e77e56 (patch) | |
| tree | bbe6ab8160bd76fa951aee6046f033efefd7f533 /src/aig | |
| parent | 4d183efe48dfef9b992ff46c2636973b36ccb7f4 (diff) | |
| download | abc-6325e41681a259cf63de3aabe10b4b0930e77e56.tar.gz abc-6325e41681a259cf63de3aabe10b4b0930e77e56.tar.bz2 abc-6325e41681a259cf63de3aabe10b4b0930e77e56.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaTtopt.cpp | 24 |
1 files changed, 21 insertions, 3 deletions
diff --git a/src/aig/gia/giaTtopt.cpp b/src/aig/gia/giaTtopt.cpp index 398bc7ff..7d507152 100644 --- a/src/aig/gia/giaTtopt.cpp +++ b/src/aig/gia/giaTtopt.cpp @@ -1,4 +1,22 @@ -// Author : Yukio Miyasaka +/**CFile**************************************************************** + + FileName [giaTtopt.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Scalable AIG package.] + + Synopsis [Truth-table-based logic synthesis.] + + Author [Yukio Miyasaka] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: giaTtopt.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ #ifdef _WIN32 #ifndef __MINGW32__ @@ -1091,7 +1109,7 @@ public: extern "C" Vec_Int_t * Gia_ManCollectSuppNew( Gia_Man_t * p, int iOut, int nOuts ); -extern "C" +//extern "C" Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds ) { Gia_Man_t * pNew; @@ -1143,7 +1161,7 @@ Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds ) extern "C" word * Gia_ManCountFraction( Gia_Man_t * p, Vec_Wrd_t * vSimI, Vec_Int_t * vSupp, int Thresh, int fVerbose, int * pCare ); -extern "C" +//extern "C" Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, char * pFileName, int nRarity ) { int fVerbose = 0; |