PolyBoRi
Classes | Namespaces

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()); }