diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 11:46:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 11:46:14 -0700 |
| commit | 043cfcd775d067eadc400b7af40347e170a3774b (patch) | |
| tree | 1647cd5ad61b95dd391a2c523e383a87e35d14ef /src/aig/gia/giaKf.c | |
| parent | 023e92c4700283d4de6e60c5b5054c2d2452b98f (diff) | |
| download | abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.gz abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.bz2 abc-043cfcd775d067eadc400b7af40347e170a3774b.zip | |
Concurrency for Boolean matching.
Diffstat (limited to 'src/aig/gia/giaKf.c')
| -rw-r--r-- | src/aig/gia/giaKf.c | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/aig/gia/giaKf.c b/src/aig/gia/giaKf.c index 083bf95c..caa88bfc 100644 --- a/src/aig/gia/giaKf.c +++ b/src/aig/gia/giaKf.c @@ -21,7 +21,7 @@ #include "gia.h" #include "misc/vec/vecSet.h" -//#ifdef ABC_USE_PTHREADS +#ifdef ABC_USE_PTHREADS #ifdef _WIN32 #include "../lib/pthread.h" @@ -30,7 +30,7 @@ #include <unistd.h> #endif -//#endif +#endif ABC_NAMESPACE_IMPL_START @@ -38,6 +38,13 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +#ifndef ABC_USE_PTHREADS + +void Kf_ManSetDefaultPars( Jf_Par_t * pPars ) {} +Gia_Man_t * Kf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) { return NULL; } + +#else // pthreads are used + #define KF_LEAF_MAX 16 #define KF_CUT_MAX 32 #define KF_PROC_MAX 32 @@ -1328,6 +1335,7 @@ Gia_Man_t * Kf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) /// END OF FILE /// //////////////////////////////////////////////////////////////////////// +#endif // pthreads are used ABC_NAMESPACE_IMPL_END |