diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-24 19:49:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-24 19:49:18 -0700 |
| commit | 77d64787e07638ac9e44ee892e4d4db5b52686e1 (patch) | |
| tree | 18c1b7d3eea9e38c875afc80980352c43baef9e4 /src/base/main | |
| parent | 1fffe8f6f3274e03289a67a0abf9c7aa4028f823 (diff) | |
| download | abc-77d64787e07638ac9e44ee892e4d4db5b52686e1.tar.gz abc-77d64787e07638ac9e44ee892e4d4db5b52686e1.tar.bz2 abc-77d64787e07638ac9e44ee892e4d4db5b52686e1.zip | |
Changes to be able to compile ABC without CUDD.
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/mainFrame.c | 8 | ||||
| -rw-r--r-- | src/base/main/mainInt.h | 9 |
2 files changed, 13 insertions, 4 deletions
diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c index 42a1da81..c91a5d55 100644 --- a/src/base/main/mainFrame.c +++ b/src/base/main/mainFrame.c @@ -21,9 +21,11 @@ #include "base/abc/abc.h" #include "mainInt.h" #include "bool/dec/dec.h" -#include "misc/extra/extraBdd.h" #include "map/if/if.h" +#ifdef ABC_USE_CUDD +#include "misc/extra/extraBdd.h" +#endif ABC_NAMESPACE_IMPL_START @@ -57,7 +59,9 @@ void * Abc_FrameReadLibGen() { return s_GlobalFr void * Abc_FrameReadLibGen2() { return s_GlobalFrame->pLibGen2; } void * Abc_FrameReadLibSuper() { return s_GlobalFrame->pLibSuper; } void * Abc_FrameReadLibScl() { return s_GlobalFrame->pLibScl; } +#ifdef ABC_USE_CUDD void * Abc_FrameReadManDd() { if ( s_GlobalFrame->dd == NULL ) s_GlobalFrame->dd = Cudd_Init( 0, 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0 ); return s_GlobalFrame->dd; } +#endif void * Abc_FrameReadManDec() { if ( s_GlobalFrame->pManDec == NULL ) s_GlobalFrame->pManDec = Dec_ManStart(); return s_GlobalFrame->pManDec; } void * Abc_FrameReadManDsd() { return s_GlobalFrame->pManDsd; } void * Abc_FrameReadManDsd2() { return s_GlobalFrame->pManDsd2; } @@ -190,7 +194,9 @@ void Abc_FrameDeallocate( Abc_Frame_t * p ) if ( p->vPoEquivs ) Vec_VecFree( (Vec_Vec_t *)p->vPoEquivs ); if ( p->vStatuses ) Vec_IntFree( p->vStatuses ); if ( p->pManDec ) Dec_ManStop( (Dec_Man_t *)p->pManDec ); +#ifdef ABC_USE_CUDD if ( p->dd ) Extra_StopManager( p->dd ); +#endif if ( p->vStore ) Vec_PtrFree( p->vStore ); if ( p->pSave1 ) Aig_ManStop( (Aig_Man_t *)p->pSave1 ); if ( p->pSave2 ) Aig_ManStop( (Aig_Man_t *)p->pSave2 ); diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 8f446cfd..baf3b82e 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -33,9 +33,10 @@ #include "aig/gia/gia.h" #include "proof/ssw/ssw.h" #include "proof/fra/fra.h" -//#include "aig/nwk/nwkMerge.h" -//#include "aig/ntl/ntlnwk.h" + +#ifdef ABC_USE_CUDD #include "misc/extra/extraBdd.h" +#endif ABC_NAMESPACE_HEADER_START @@ -86,7 +87,6 @@ struct Abc_Frame_t_ void * pManDec; // decomposition manager void * pManDsd; // decomposition manager void * pManDsd2; // decomposition manager - DdManager * dd; // temporary BDD package // libraries for mapping void * pLibLut; // the current LUT library void * pLibBox; // the current box library @@ -130,6 +130,9 @@ struct Abc_Frame_t_ void * pAbcBac; void * pAbcCba; void * pAbcPla; +#ifdef ABC_USE_CUDD + DdManager * dd; // temporary BDD package +#endif }; typedef void (*Abc_Frame_Initialization_Func)( Abc_Frame_t * pAbc ); |