prefix.h File Reference

Go to the source code of this file.

Defines
#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

---

Define Documentation

#define PBORI_PREFIX

(

name

)

pbori_ ## name

Referenced by polybori::CCuddInterface::cacheFlush(), polybori::CCuddInterface::CCuddInterface(), polybori::cudd_generate_divisors(), polybori::CCuddDDFacade< polybori::BoolePolyRing, polybori::BooleSet >::cudd_generate_divisors(), polybori::cudd_generate_multiples(), polybori::CCuddDDFacade< polybori::BoolePolyRing, polybori::BooleSet >::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, 3 >::find(), polybori::CCacheManBase< ManagerType, CacheType, 2 >::find(), polybori::CCacheManBase< ManagerType, CacheType, 1 >::find(), polybori::CCuddDDFacade< polybori::BoolePolyRing, polybori::BooleSet >::implies(), polybori::inc_ref(), polybori::CCuddNavigator::incRef(), polybori::CCuddInterface::init(), polybori::CCuddInterface::initVar(), polybori::CCacheManBase< ManagerType, CacheType, 3 >::insert(), polybori::CCacheManBase< ManagerType, CacheType, 2 >::insert(), polybori::CCacheManBase< ManagerType, CacheType, 1 >::insert(), intrusive_ptr_release(), polybori::CCuddDDFacade< polybori::BoolePolyRing, polybori::BooleSet >::isConstant(), polybori::CCuddDDFacade< polybori::BoolePolyRing, polybori::BooleSet >::isZero(), polybori::dd_operations< CCuddNavigator >::length(), polybori::dd_operations< CCuddNavigator >::newNodeAssign(), polybori::dd_operations< CCuddNavigator >::nSupport(), polybori::pboriCuddZddUnionXor(), polybori::BoolePolyRing::print(), polybori::CCuddDDFacade< polybori::BoolePolyRing, polybori::BooleSet >::PrintMinterm(), polybori::dd_operations< CCuddNavigator >::productAssign(), polybori::recursive_dec_ref(), polybori::CCuddNavigator::recursiveDecRef(), polybori::CCuddInterface::recursiveDeref(), polybori::CCuddDDFacade< polybori::BoolePolyRing, polybori::BooleSet >::refCount(), polybori::dd_operations< CCuddNavigator >::replacingNode(), polybori::dd_operations< CCuddNavigator >::replacingUnite(), polybori::CCuddDDFacade< polybori::BoolePolyRing, polybori::BooleSet >::rootIndex(), polybori::dd_operations< CCuddNavigator >::uniteAssign(), polybori::CCuddInterface::zddOne(), polybori::CCuddInterface::zddVar(), and polybori::CCuddInterface::zddZero().