PolyBoRi
Classes | Namespaces | Macros | Typedefs
traits.h File Reference
#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
 

Detailed Description

Author
Alexander Dreyer
Date
2006-04-24

This file defines properties of built-in an polybori types.

Copyright:
(c) 2006-2010 by The PolyBoRi Team

Macro Definition Documentation

#define PB_BINARY_FUNC_CALL (   count,
  funcname,
  arg_pair 
)
Value:
BOOST_PP_EXPAND(funcname(BOOST_PP_SEQ_HEAD(arg_pair), \
BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_TAIL(arg_pair))))
#define PB_CUDD_ERROR_TRAITS (   errcode,
  errstr 
)
Value:
template<> inline cudd_error_traits<errcode>::result_type \
cudd_error_traits<errcode>::operator()() const { \
return BOOST_PP_STRINGIZE(errstr); }
#define PB_DECLARE_CUDD_TYPES (   fromspace)
Value:
typedef fromspace::errorfunc_type errorfunc_type; \
typedef fromspace::large_size_type large_size_type; \
typedef fromspace::refcount_type refcount_type; \
typedef fromspace::node_type node_type; \
typedef fromspace::mgrcore_type mgrcore_type; \
typedef fromspace::unary_int_function unary_int_function; \
typedef fromspace::void_function void_function; \
typedef fromspace::binary_function binary_function; \
typedef fromspace::binary_int_function binary_int_function; \
typedef fromspace::ternary_function ternary_function; \
typedef fromspace::int_unary_function int_unary_function; \
typedef fromspace::size_type size_type;\
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44