diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-01 01:35:04 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-01 01:35:04 -0700 |
commit | 6130e39b18b5f53902e4eab14f6d5cdde5219563 (patch) | |
tree | 0db0628479a1b750e9af1f66cb8379ebd0913d31 /src/bdd/cudd/cudd.h | |
parent | f0e77f6797c0504b0da25a56152b707d3357f386 (diff) | |
download | abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.tar.gz abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.tar.bz2 abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.zip |
initial commit of public abc
Diffstat (limited to 'src/bdd/cudd/cudd.h')
-rw-r--r-- | src/bdd/cudd/cudd.h | 22 |
1 files changed, 15 insertions, 7 deletions
diff --git a/src/bdd/cudd/cudd.h b/src/bdd/cudd/cudd.h index a31fcdae..14f67abf 100644 --- a/src/bdd/cudd/cudd.h +++ b/src/bdd/cudd/cudd.h @@ -30,6 +30,7 @@ #ifndef _CUDD #define _CUDD + /*---------------------------------------------------------------------------*/ /* Nested includes */ /*---------------------------------------------------------------------------*/ @@ -37,6 +38,9 @@ #include "mtr.h" #include "epd.h" +ABC_NAMESPACE_HEADER_START + + /*---------------------------------------------------------------------------*/ /* Constant declarations */ /*---------------------------------------------------------------------------*/ @@ -530,20 +534,20 @@ typedef DdApaDigit * DdApaNumber; /* These are potential duplicates. */ #ifndef EXTERN # ifdef __cplusplus -# define EXTERN extern "C" +# ifdef ABC_NAMESPACE +# define EXTERN extern +# else +# define EXTERN extern "C" +# endif # else # define EXTERN extern # endif #endif + #ifndef ARGS -# if defined(__STDC__) || defined(__cplusplus) -# define ARGS(protos) protos /* ANSI C */ -# else /* !(__STDC__ || __cplusplus) */ -# define ARGS(protos) () /* K&R C */ -# endif /* !(__STDC__ || __cplusplus) */ +#define ARGS(protos) protos #endif - /**AutomaticStart*************************************************************/ /*---------------------------------------------------------------------------*/ @@ -956,4 +960,8 @@ EXTERN int Cudd_bddIsVarHardGroup ARGS((DdManager *dd, int index)); /**AutomaticEnd***************************************************************/ + + +ABC_NAMESPACE_HEADER_END + #endif /* _CUDD */ |