summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-08-24 19:49:18 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2015-08-24 19:49:18 -0700
commit77d64787e07638ac9e44ee892e4d4db5b52686e1 (patch)
tree18c1b7d3eea9e38c875afc80980352c43baef9e4 /src/aig/gia
parent1fffe8f6f3274e03289a67a0abf9c7aa4028f823 (diff)
downloadabc-77d64787e07638ac9e44ee892e4d4db5b52686e1.tar.gz
abc-77d64787e07638ac9e44ee892e4d4db5b52686e1.tar.bz2
abc-77d64787e07638ac9e44ee892e4d4db5b52686e1.zip
Changes to be able to compile ABC without CUDD.
Diffstat (limited to 'src/aig/gia')
-rw-r--r--src/aig/gia/giaClp.c14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/aig/gia/giaClp.c b/src/aig/gia/giaClp.c
index 7e8b3456..d67c57eb 100644
--- a/src/aig/gia/giaClp.c
+++ b/src/aig/gia/giaClp.c
@@ -19,8 +19,11 @@
***********************************************************************/
#include "gia.h"
+
+#ifdef ABC_USE_CUDD
#include "misc/extra/extraBdd.h"
#include "bdd/dsd/dsd.h"
+#endif
ABC_NAMESPACE_IMPL_START
@@ -28,6 +31,8 @@ ABC_NAMESPACE_IMPL_START
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
+#ifdef ABC_USE_CUDD
+
extern int Abc_ConvertZddToSop( DdManager * dd, DdNode * zCover, char * pSop, int nFanins, Vec_Str_t * vCube, int fPhase );
extern int Abc_CountZddCubes( DdManager * dd, DdNode * zCover );
extern int Abc_NtkDeriveFlatGiaSop( Gia_Man_t * pGia, int * gFanins, char * pSop );
@@ -399,6 +404,15 @@ void Gia_ManCollapseTestTest( Gia_Man_t * p )
Gia_ManStop( pNew );
}
+#else
+
+Gia_Man_t * Gia_ManCollapseTest( Gia_Man_t * p, int fVerbose )
+{
+ return NULL;
+}
+
+#endif
+
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////