1 // -*- c++ -*-
2 //*****************************************************************************
3 /** @file prefix.h
4  *
5  * @author Alexander Dreyer
6  * @date 2012-02-15
7  *
8  * This file includes some macro definitions
9  *
10  * @note It is intended to be included by the header files of the CUDD fork
11  * coming with PolyBoRi. It defines macros, which can be used to CUDD's symbols
12  * with @c pbori_ to avoid name clashing and errorous linking of third party
13  * code to @c libpolybori  (instead of @c libcudd).
14  *
15  * @par Copyright:
16  *   (c) 2012 by The PolyBoRi Team
17  *
18 **/
19 //*****************************************************************************
20 
21 #ifndef polybori_cudd_prefix_h_
22 #define polybori_cudd_prefix_h_
23 
24 #ifdef PBORI_USE_ORIGINAL_CUDD
25 #define PBORI_PREFIX(name) name
26 #else
27 #define PBORI_PREFIX(name) pbori_ ## name
28 #endif
29 
30 #endif
31