diff options
Diffstat (limited to 'src/bdd')
-rw-r--r-- | src/bdd/cudd/cuddAddFind.c | 8 | ||||
-rw-r--r-- | src/bdd/cudd/cuddApa.c | 8 | ||||
-rw-r--r-- | src/bdd/cudd/cuddBddCorr.c | 8 | ||||
-rw-r--r-- | src/bdd/cudd/cuddBridge.c | 8 | ||||
-rw-r--r-- | src/bdd/cudd/cuddGenCof.c | 8 | ||||
-rw-r--r-- | src/bdd/cudd/cuddGenetic.c | 8 | ||||
-rw-r--r-- | src/bdd/cudd/cuddGroup.c | 14 | ||||
-rw-r--r-- | src/bdd/cudd/cuddSat.c | 8 | ||||
-rw-r--r-- | src/bdd/cudd/cuddSubsetSP.c | 8 | ||||
-rw-r--r-- | src/bdd/cudd/cuddUtil.c | 8 | ||||
-rw-r--r-- | src/bdd/cudd/cuddZddCount.c | 8 | ||||
-rw-r--r-- | src/bdd/cudd/cuddZddSetop.c | 8 |
12 files changed, 0 insertions, 102 deletions
diff --git a/src/bdd/cudd/cuddAddFind.c b/src/bdd/cudd/cuddAddFind.c index c9cebeaf..77cf026f 100644 --- a/src/bdd/cudd/cuddAddFind.c +++ b/src/bdd/cudd/cuddAddFind.c @@ -89,10 +89,6 @@ static char rcsid[] DD_UNUSED = "$Id: cuddAddFind.c,v 1.8 2004/08/13 18:04:45 fa /* Macro declarations */ /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -103,10 +99,6 @@ static DdNode * addDoIthBit (DdManager *dd, DdNode *f, DdNode *index); /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ /*---------------------------------------------------------------------------*/ diff --git a/src/bdd/cudd/cuddApa.c b/src/bdd/cudd/cuddApa.c index 548461da..c87c3d17 100644 --- a/src/bdd/cudd/cuddApa.c +++ b/src/bdd/cudd/cuddApa.c @@ -103,10 +103,6 @@ static DdNode *background, *zero; /* Macro declarations */ /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -118,10 +114,6 @@ static enum st__retval cuddApaStCountfree (char * key, char * value, char * arg) /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} /* end of extern "C" */ -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ diff --git a/src/bdd/cudd/cuddBddCorr.c b/src/bdd/cudd/cuddBddCorr.c index 9cf3c64c..72c57c95 100644 --- a/src/bdd/cudd/cuddBddCorr.c +++ b/src/bdd/cudd/cuddBddCorr.c @@ -101,10 +101,6 @@ static int num_calls; /* Macro declarations */ /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -119,10 +115,6 @@ static enum st__retval CorrelCleanUp (char *key, char *value, char *arg); /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ diff --git a/src/bdd/cudd/cuddBridge.c b/src/bdd/cudd/cuddBridge.c index 94b388f5..e5b6ba77 100644 --- a/src/bdd/cudd/cuddBridge.c +++ b/src/bdd/cudd/cuddBridge.c @@ -106,10 +106,6 @@ static char rcsid[] DD_UNUSED = "$Id: cuddBridge.c,v 1.19 2008/04/25 06:42:55 fa /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -125,10 +121,6 @@ static DdNode * cuddBddTransferRecur (DdManager *ddS, DdManager *ddD, DdNode *f, /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ diff --git a/src/bdd/cudd/cuddGenCof.c b/src/bdd/cudd/cuddGenCof.c index 8b881344..0f22aa2a 100644 --- a/src/bdd/cudd/cuddGenCof.c +++ b/src/bdd/cudd/cuddGenCof.c @@ -122,10 +122,6 @@ static char rcsid[] DD_UNUSED = "$Id: cuddGenCof.c,v 1.38 2005/05/14 17:27:11 fa /* Macro declarations */ /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -143,10 +139,6 @@ static DdNode * cuddBddSqueeze (DdManager *dd, DdNode *l, DdNode *u); /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ /*---------------------------------------------------------------------------*/ diff --git a/src/bdd/cudd/cuddGenetic.c b/src/bdd/cudd/cuddGenetic.c index a333f3a9..46194bfe 100644 --- a/src/bdd/cudd/cuddGenetic.c +++ b/src/bdd/cudd/cuddGenetic.c @@ -134,10 +134,6 @@ static int cross; /* the number of crossovers to perform */ */ #define STOREDD(i,j) storedd[(i)*(numvars+1)+(j)] -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -160,10 +156,6 @@ static int roulette (int *p1, int *p2); /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ /*---------------------------------------------------------------------------*/ diff --git a/src/bdd/cudd/cuddGroup.c b/src/bdd/cudd/cuddGroup.c index 731f8147..e0b9ccf5 100644 --- a/src/bdd/cudd/cuddGroup.c +++ b/src/bdd/cudd/cuddGroup.c @@ -103,13 +103,7 @@ ABC_NAMESPACE_IMPL_START /* Type declarations */ /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif typedef int (*DD_CHKFP)(DdManager *, int, int); -#ifdef __cplusplus -} -#endif /*---------------------------------------------------------------------------*/ /* Variable declarations */ @@ -139,10 +133,6 @@ static unsigned int originalSize; /* Macro declarations */ /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -176,10 +166,6 @@ static int ddIsVarHandled (DdManager *dd, int index); /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ /*---------------------------------------------------------------------------*/ diff --git a/src/bdd/cudd/cuddSat.c b/src/bdd/cudd/cuddSat.c index c92981d1..899901dd 100644 --- a/src/bdd/cudd/cuddSat.c +++ b/src/bdd/cudd/cuddSat.c @@ -111,10 +111,6 @@ static DdNode *one, *zero; #define WEIGHT(weight, col) ((weight) == NULL ? 1 : weight[col]) -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -129,10 +125,6 @@ static DdNode * getCube (DdManager *manager, st__table *visited, DdNode *f, int /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ /*---------------------------------------------------------------------------*/ diff --git a/src/bdd/cudd/cuddSubsetSP.c b/src/bdd/cudd/cuddSubsetSP.c index 84cae32c..dc490f16 100644 --- a/src/bdd/cudd/cuddSubsetSP.c +++ b/src/bdd/cudd/cuddSubsetSP.c @@ -158,10 +158,6 @@ static DdNode **currentQueuePage; /* current page */ /* Macro declarations */ /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -179,10 +175,6 @@ static enum st__retval stPathTableDdFree (char *key, char *value, char *arg); /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of Exported functions */ /*---------------------------------------------------------------------------*/ diff --git a/src/bdd/cudd/cuddUtil.c b/src/bdd/cudd/cuddUtil.c index da591692..fe913fee 100644 --- a/src/bdd/cudd/cuddUtil.c +++ b/src/bdd/cudd/cuddUtil.c @@ -158,10 +158,6 @@ static long shuffleTable[STAB_SIZE]; #define bang(f) ((Cudd_IsComplement(f)) ? '!' : ' ') -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -188,10 +184,6 @@ static enum st__retval ddEpdFree (char * key, char * value, char * arg); /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ /*---------------------------------------------------------------------------*/ diff --git a/src/bdd/cudd/cuddZddCount.c b/src/bdd/cudd/cuddZddCount.c index aefdc124..a44a782c 100644 --- a/src/bdd/cudd/cuddZddCount.c +++ b/src/bdd/cudd/cuddZddCount.c @@ -95,10 +95,6 @@ static char rcsid[] DD_UNUSED = "$Id: cuddZddCount.c,v 1.14 2004/08/13 18:04:53 /* Macro declarations */ /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -112,10 +108,6 @@ static enum st__retval st__zdd_count_dbl_free (char *key, char *value, char *arg /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ /*---------------------------------------------------------------------------*/ diff --git a/src/bdd/cudd/cuddZddSetop.c b/src/bdd/cudd/cuddZddSetop.c index 3b8cdcc5..332607b9 100644 --- a/src/bdd/cudd/cuddZddSetop.c +++ b/src/bdd/cudd/cuddZddSetop.c @@ -107,10 +107,6 @@ static char rcsid[] DD_UNUSED = "$Id: cuddZddSetop.c,v 1.25 2004/08/13 18:04:54 /* Macro declarations */ /*---------------------------------------------------------------------------*/ -#ifdef __cplusplus -extern "C" { -#endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -123,10 +119,6 @@ static void zddVarToConst (DdNode *f, DdNode **gp, DdNode **hp, DdNode *base, Dd /**AutomaticEnd***************************************************************/ -#ifdef __cplusplus -} -#endif - /*---------------------------------------------------------------------------*/ /* Definition of exported functions */ /*---------------------------------------------------------------------------*/ |