diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 12:33:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 12:33:45 -0700 |
| commit | 2df7443317be7655713cf9e5abb0b5aa87f643af (patch) | |
| tree | 2d0263659c81f0850cbc687e0fd56d4a7ff2610b /src/aig | |
| parent | a6c9e997bdd866908cee3812e71e90db76f617df (diff) | |
| download | abc-2df7443317be7655713cf9e5abb0b5aa87f643af.tar.gz abc-2df7443317be7655713cf9e5abb0b5aa87f643af.tar.bz2 abc-2df7443317be7655713cf9e5abb0b5aa87f643af.zip | |
Temporarily disabling new code.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaTtopt.cpp | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/aig/gia/giaTtopt.cpp b/src/aig/gia/giaTtopt.cpp index eca0989d..99594afc 100644 --- a/src/aig/gia/giaTtopt.cpp +++ b/src/aig/gia/giaTtopt.cpp @@ -1,4 +1,6 @@ // Author : Yukio Miyasaka +#if 0 + #include <iostream> #include <fstream> #include <string> @@ -12,10 +14,14 @@ #include <bitset> #include <unordered_map> +#endif + #include "gia.h" ABC_NAMESPACE_IMPL_START +#if 0 + namespace Ttopt { struct PairHasher { @@ -1203,5 +1209,17 @@ Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, c Vec_WrdFreeP( &vSimI ); return pNew; } +#endif + +Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds ) +{ + return NULL; +} + +Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, char * pFileName, int nRarity ) +{ + return NULL; +} ABC_NAMESPACE_IMPL_END + |