PolyBoRi
prefix.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
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