PolyBoRi
|
#include "pbori_defs.h"
#include <cuddInt.h>
#include "CApplyNodeFacade.h"
#include "pbori_routines_cuddext.h"
#include "CExtrusivePtr.h"
#include "CCuddNavigator.h"
#include "CCuddFirstIter.h"
#include "CCuddLastIter.h"
#include "PBoRiOutIter.h"
#include "PBoRiGenericError.h"
#include "CCheckedIdx.h"
#include "pbori_algo.h"
#include "pbori_tags.h"
#include "pbori_routines_hash.h"
#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/facilities/expand.hpp>
#include <boost/preprocessor/stringize.hpp>
#include <stdexcept>
#include <algorithm>
#include <numeric>
Go to the source code of this file.
Classes | |
class | polybori::CCuddDDFacade |
This template class defines a facade for decision diagrams. More... | |
Namespaces | |
namespace | polybori |
Defines | |
#define | PBORI_NAME_Product product |
#define | PBORI_NAME_UnateProduct unateProduct |
#define | PBORI_NAME_WeakDiv weakDivide |
#define | PBORI_NAME_Divide divide |
#define | PBORI_NAME_WeakDivF weakDivF |
#define | PBORI_NAME_DivideF divideF |
#define | PBORI_NAME_Union unite |
#define | PBORI_NAME_Intersect intersect |
#define | PBORI_NAME_Diff diff |
#define | PBORI_NAME_Subset1 subset1 |
#define | PBORI_NAME_Subset0 subset0 |
#define | PBORI_NAME_Change change |
#define | PB_ZDD_APPLY(count, data, funcname) |
Functions | |
template<class DataType > | |
void | polybori::extrusive_ptr_release (const DataType &data, DdNode *ptr) |
Releasing raw pointers to decision diagrams here. | |
template<class DataType > | |
void | polybori::extrusive_ptr_add_ref (const DataType &, DdNode *ptr) |
Incrememting reference counts to raw pointers to decision diagrams. |
This file defines a facade for decision diagrams
#define PB_ZDD_APPLY | ( | count, | |
data, | |||
funcname | |||
) |
diagram_type BOOST_PP_CAT(PBORI_NAME_, funcname)(data rhs) const { \
return apply(BOOST_PP_CAT(Cudd_zdd, funcname), \
rhs); }
#define PBORI_NAME_Change change |
#define PBORI_NAME_Diff diff |
#define PBORI_NAME_Divide divide |
#define PBORI_NAME_DivideF divideF |
#define PBORI_NAME_Intersect intersect |
#define PBORI_NAME_Product product |
#define PBORI_NAME_Subset0 subset0 |
#define PBORI_NAME_Subset1 subset1 |
#define PBORI_NAME_UnateProduct unateProduct |
#define PBORI_NAME_Union unite |
#define PBORI_NAME_WeakDiv weakDivide |
#define PBORI_NAME_WeakDivF weakDivF |