CCuddInterface.h File Reference

#include "CCuddZDD.h"

Go to the source code of this file.

Classes

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

Namespaces

namespace  polybori

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 Wed Sep 9 14:25:41 2009 for PolyBoRi by  doxygen 1.5.9