PolyBoRi
prefix.h
Go to the documentation of this file.
00001 // -*- c++ -*-
00002 //*****************************************************************************
00019 //*****************************************************************************
00020 
00021 #ifndef polybori_cudd_prefix_h_
00022 #define polybori_cudd_prefix_h_
00023 
00024 #ifdef PBORI_USE_ORIGINAL_CUDD
00025 #define PBORI_PREFIX(name) name
00026 #else
00027 #define PBORI_PREFIX(name) pbori_ ## name
00028 #endif
00029 
00030 #endif