summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2022-09-19 12:33:45 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2022-09-19 12:33:45 -0700
commit2df7443317be7655713cf9e5abb0b5aa87f643af (patch)
tree2d0263659c81f0850cbc687e0fd56d4a7ff2610b
parenta6c9e997bdd866908cee3812e71e90db76f617df (diff)
downloadabc-2df7443317be7655713cf9e5abb0b5aa87f643af.tar.gz
abc-2df7443317be7655713cf9e5abb0b5aa87f643af.tar.bz2
abc-2df7443317be7655713cf9e5abb0b5aa87f643af.zip
Temporarily disabling new code.
-rw-r--r--src/aig/gia/giaTtopt.cpp18
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
+