CCuddInterface.h File Reference

#include "CCuddZDD.h"

Go to the source code of this file.

Classes

class  CCuddInterface
 This class defines a C++ interface to CUDD's decicion diagram manager. More...

Defines

Define templates for generating member functions from CUDD procedures

#define PB_CUDDMGR_READ(count, data, funcname)
#define PB_CUDDMGR_SWITCH(count, data, funcname)
#define PB_CUDDMGR_SET(count, data, funcname)

Detailed Description

Author:
Alexander Dreyer
Date:
2007-07-05

This files defines a replacement for the decision diagram manager of CUDD's C++ interface.

Copyright:
(c) 2007 by The PolyBoRi Team

Define Documentation

#define PB_CUDDMGR_READ ( count,
data,
funcname   ) 
Value:
data funcname() const { \
  return BOOST_PP_CAT(Cudd_, funcname)(getManager()); }
#define PB_CUDDMGR_SET ( count,
data,
funcname   ) 
Value:
void funcname(data arg) { \
    BOOST_PP_CAT(Cudd_, funcname)(getManager(), arg); }
#define PB_CUDDMGR_SWITCH ( count,
data,
funcname   ) 
Value:
void funcname() { \
    BOOST_PP_CAT(Cudd_, funcname)(getManager()); }
Generated on Thu Aug 5 13:34:42 2010 for PolyBoRi by  doxygen 1.6.3