PolyBoRi
|
#include <set>
#include <vector>
#include <polybori/pbori_defs.h>
#include <polybori/common/tags.h>
#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/facilities/expand.hpp>
#include <boost/preprocessor/stringize.hpp>
Go to the source code of this file.
Classes | |
class | polybori::pbori_traits< ValueType > |
This class contains property definitions to be used in polybori classes. More... | |
class | polybori::pbori_traits< void > |
class | polybori::pbori_traits< int > |
class | polybori::pbori_traits< unsigned int > |
class | polybori::pbori_traits< long int > |
class | polybori::pbori_traits< std::set< ValueType > > |
class | polybori::pbori_traits< std::vector< ValueType > > |
class | polybori::pbori_binary_traits< FirstType, SecondType > |
This class contains property definitions related to two types to be used in polybori classes. More... | |
class | polybori::pbori_binary_traits< OnlyType, OnlyType > |
class | polybori::pbori_binary_traits< FirstType, SecondType > |
This class contains property definitions related to two types to be used in polybori classes. More... | |
struct | polybori::manager_traits< CuddLike > |
struct | polybori::manager_traits< CuddLike > |
struct | polybori::cudd_error_traits< ErrorNumber > |
Namespaces | |
polybori | |
Macros | |
#define | PB_DECLARE_CUDD_TYPES(fromspace) |
#define | PB_BINARY_FUNC_CALL(count, funcname, arg_pair) |
#define | PB_CUDD_ERROR_TRAITS(errcode, errstr) |
Typedefs | |
typedef pbori_DdManager | polybori::DdManager |
This file defines properties of built-in an polybori types.
#define PB_BINARY_FUNC_CALL | ( | count, | |
funcname, | |||
arg_pair | |||
) |
#define PB_CUDD_ERROR_TRAITS | ( | errcode, | |
errstr | |||
) |
#define PB_DECLARE_CUDD_TYPES | ( | fromspace | ) |