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::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().