PolyBoRi
|
#include "extrafwd.h"
#include "pbori_defs.h"
#include "CCuddNavigator.h"
#include "CCuddFirstIter.h"
#include "CCuddLastIter.h"
#include "CCuddGetNode.h"
#include "PBoRiOutIter.h"
#include "PBoRiGenericError.h"
#include "cuddInt.h"
#include "pbori_algo.h"
#include "pbori_tags.h"
#include "pbori_routines_hash.h"
#include <vector>
#include <numeric>
#include "CCuddInterface.h"
#include "pbori_traits.h"
Go to the source code of this file.
Classes | |
class | polybori::CDDInterfaceBase< DDType > |
This is the common base for the specialized template class CDDInterface. More... | |
class | polybori::CDDInterface< CuddLikeZDD > |
Namespaces | |
namespace | polybori |
Functions | |
Cudd * | polybori::extract_manager (const Cudd &mgr) |
CCuddInterface::mgrcore_ptr | polybori::extract_manager (const CCuddInterface &mgr) |
template<class MgrType > | |
const MgrType & | polybori::extract_manager (const MgrType &mgr) |
Cudd & | polybori::get_manager (Cudd *mgr) |
template<class MgrType > | |
const MgrType & | polybori::get_manager (const MgrType &mgr) |
template<class DDType > | |
CDDInterface< DDType > ::ostream_type & | polybori::operator<< (typename CDDInterface< DDType >::ostream_type &os, const CDDInterface< DDType > &dd) |
Stream output operator. |
This file define specializations for the CDDInterface<> template class, which allow unified access to various binary decision diagram implementations.