diff options
Diffstat (limited to 'src/aig/csw')
| -rw-r--r-- | src/aig/csw/csw.h | 16 | ||||
| -rw-r--r-- | src/aig/csw/cswCore.c | 5 | ||||
| -rw-r--r-- | src/aig/csw/cswCut.c | 7 | ||||
| -rw-r--r-- | src/aig/csw/cswInt.h | 16 | ||||
| -rw-r--r-- | src/aig/csw/cswMan.c | 5 | ||||
| -rw-r--r-- | src/aig/csw/cswTable.c | 5 | ||||
| -rw-r--r-- | src/aig/csw/csw_.c | 5 |
7 files changed, 46 insertions, 13 deletions
diff --git a/src/aig/csw/csw.h b/src/aig/csw/csw.h index 3d704d5f..c1bf7a73 100644 --- a/src/aig/csw/csw.h +++ b/src/aig/csw/csw.h @@ -21,6 +21,7 @@ #ifndef __CSW_H__ #define __CSW_H__ + //////////////////////////////////////////////////////////////////////// /// INCLUDES /// //////////////////////////////////////////////////////////////////////// @@ -29,9 +30,10 @@ /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// -#ifdef __cplusplus -extern "C" { -#endif + + +ABC_NAMESPACE_HEADER_START + //////////////////////////////////////////////////////////////////////// /// BASIC TYPES /// @@ -53,9 +55,11 @@ extern "C" { /*=== cnfCore.c ========================================================*/ extern Aig_Man_t * Csw_Sweep( Aig_Man_t * pAig, int nCutsMax, int nLeafMax, int fVerbose ); -#ifdef __cplusplus -} -#endif + + +ABC_NAMESPACE_HEADER_END + + #endif diff --git a/src/aig/csw/cswCore.c b/src/aig/csw/cswCore.c index 20893058..e1bdca00 100644 --- a/src/aig/csw/cswCore.c +++ b/src/aig/csw/cswCore.c @@ -20,6 +20,9 @@ #include "cswInt.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -92,3 +95,5 @@ p->timeOther = p->timeTotal - p->timeCuts - p->timeHash; //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/aig/csw/cswCut.c b/src/aig/csw/cswCut.c index 14cc3e4c..bb6677c2 100644 --- a/src/aig/csw/cswCut.c +++ b/src/aig/csw/cswCut.c @@ -20,6 +20,9 @@ #include "cswInt.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -78,7 +81,7 @@ static inline float Csw_CutFindCost2( Csw_Man_t * p, Csw_Cut_t * pCut ) /**Function************************************************************* - Synopsis [Returns the next ABC_FREE cut to use.] + Synopsis [Returns the next free cut to use.] Description [] @@ -600,3 +603,5 @@ p->timeHash += clock() - clk; //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/aig/csw/cswInt.h b/src/aig/csw/cswInt.h index 76c673a3..3a06f3f1 100644 --- a/src/aig/csw/cswInt.h +++ b/src/aig/csw/cswInt.h @@ -21,6 +21,7 @@ #ifndef __CSW_INT_H__ #define __CSW_INT_H__ + //////////////////////////////////////////////////////////////////////// /// INCLUDES /// //////////////////////////////////////////////////////////////////////// @@ -40,9 +41,10 @@ /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// -#ifdef __cplusplus -extern "C" { -#endif + + +ABC_NAMESPACE_HEADER_START + //////////////////////////////////////////////////////////////////////// /// BASIC TYPES /// @@ -145,9 +147,11 @@ extern int Csw_TableCountCuts( Csw_Man_t * p ); extern void Csw_TableCutInsert( Csw_Man_t * p, Csw_Cut_t * pCut ); extern Aig_Obj_t * Csw_TableCutLookup( Csw_Man_t * p, Csw_Cut_t * pCut ); -#ifdef __cplusplus -} -#endif + + +ABC_NAMESPACE_HEADER_END + + #endif diff --git a/src/aig/csw/cswMan.c b/src/aig/csw/cswMan.c index 4225402c..8b6e538b 100644 --- a/src/aig/csw/cswMan.c +++ b/src/aig/csw/cswMan.c @@ -20,6 +20,9 @@ #include "cswInt.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -123,3 +126,5 @@ void Csw_ManStop( Csw_Man_t * p ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/aig/csw/cswTable.c b/src/aig/csw/cswTable.c index 87e36ae1..9bab0a01 100644 --- a/src/aig/csw/cswTable.c +++ b/src/aig/csw/cswTable.c @@ -20,6 +20,9 @@ #include "cswInt.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -159,3 +162,5 @@ Aig_Obj_t * Csw_TableCutLookup( Csw_Man_t * p, Csw_Cut_t * pCut ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/aig/csw/csw_.c b/src/aig/csw/csw_.c index 1c59f152..c12607d3 100644 --- a/src/aig/csw/csw_.c +++ b/src/aig/csw/csw_.c @@ -20,6 +20,9 @@ #include "cswInt.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -46,3 +49,5 @@ //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |