pbori_traits.h File Reference
#include <set>
#include <vector>
#include "pbori_defs.h"
#include "pbori_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.
Detailed Description
- Author:
- Alexander Dreyer
- Date:
- 2006-04-24
This file defines properties of built-in an polybori types.
- Copyright:
- (c) 2006 by The PolyBoRi Team
Define 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;\
typedef fromspace::idx_type idx_type;