diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 16:30:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 16:30:52 -0700 |
| commit | 1bd7550378752ba3957ffe4a2af58a74de8c7c51 (patch) | |
| tree | db666f6da6afa2d6b34bddb71da479c1b2e84c29 /src/aig/gia/giaTtopt.cpp | |
| parent | 6325e41681a259cf63de3aabe10b4b0930e77e56 (diff) | |
| download | abc-1bd7550378752ba3957ffe4a2af58a74de8c7c51.tar.gz abc-1bd7550378752ba3957ffe4a2af58a74de8c7c51.tar.bz2 abc-1bd7550378752ba3957ffe4a2af58a74de8c7c51.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig/gia/giaTtopt.cpp')
| -rw-r--r-- | src/aig/gia/giaTtopt.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/aig/gia/giaTtopt.cpp b/src/aig/gia/giaTtopt.cpp index 7d507152..61d07441 100644 --- a/src/aig/gia/giaTtopt.cpp +++ b/src/aig/gia/giaTtopt.cpp @@ -1106,10 +1106,6 @@ public: } -extern "C" -Vec_Int_t * Gia_ManCollectSuppNew( Gia_Man_t * p, int iOut, int nOuts ); - -//extern "C" Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds ) { Gia_Man_t * pNew; @@ -1158,10 +1154,6 @@ Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds ) return pNew; } -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" Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, char * pFileName, int nRarity ) { int fVerbose = 0; |