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