PolyBoRi
Macros
prefix.h File Reference

Go to the source code of this file.

Macros

#define PBORI_PREFIX(name)   pbori_ ## name
 

Detailed Description

Author
Alexander Dreyer
Date
2012-02-15

This file includes some macro definitions

Note
It is intended to be included by the header files of the CUDD fork coming with PolyBoRi. It defines macros, which can be used to CUDD's symbols with pbori_ to avoid name clashing and errorous linking of third party code to libpolybori (instead of libcudd).
Copyright:
(c) 2012 by The PolyBoRi Team

Macro Definition Documentation

#define PBORI_PREFIX (   name)    pbori_ ## name

Referenced by polybori::CCuddInterface::cacheFlush(), polybori::CCuddInterface::CCuddInterface(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::cudd_generate_divisors(), polybori::cudd_generate_divisors(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::cudd_generate_multiples(), polybori::cudd_generate_multiples(), polybori::dd_print(), polybori::dec_ref(), polybori::CCuddNavigator::decRef(), polybori::dd_operations< CCuddNavigator >::diff(), polybori::dd_operations< CCuddNavigator >::diffAssign(), error_text(), polybori::extrusive_ptr_add_ref(), polybori::extrusive_ptr_release(), polybori::CCacheManBase< ManagerType, CacheType, 1 >::find(), polybori::CCacheManBase< ManagerType, CacheType, 2 >::find(), polybori::CCacheManBase< ManagerType, CacheType, 3 >::find(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::implies(), polybori::inc_ref(), polybori::CCuddNavigator::incRef(), polybori::CCuddInterface::init(), polybori::CCuddInterface::initVar(), polybori::CCacheManBase< ManagerType, CacheType, 1 >::insert(), polybori::CCacheManBase< ManagerType, CacheType, 2 >::insert(), polybori::CCacheManBase< ManagerType, CacheType, 3 >::insert(), intrusive_ptr_release(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::isConstant(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::isZero(), polybori::dd_operations< CCuddNavigator >::length(), polybori::dd_operations< CCuddNavigator >::newNodeAssign(), polybori::dd_operations< CCuddNavigator >::nSupport(), polybori::pboriCuddZddUnionXor(), polybori::BoolePolyRing::print(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::PrintMinterm(), polybori::dd_operations< CCuddNavigator >::productAssign(), polybori::recursive_dec_ref(), polybori::CCuddNavigator::recursiveDecRef(), polybori::CCuddInterface::recursiveDeref(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::refCount(), polybori::dd_operations< CCuddNavigator >::replacingNode(), polybori::dd_operations< CCuddNavigator >::replacingUnite(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::rootIndex(), polybori::dd_operations< CCuddNavigator >::uniteAssign(), polybori::CCuddInterface::zddOne(), polybori::CCuddInterface::zddVar(), and polybori::CCuddInterface::zddZero().