This class contains property definitions to be used in polybori classes. More...
#include <pbori_traits.h>
Public Types | |
typedef ValueType | value_type |
typedef value_type::dd_type | dd_type |
Type of interface to binary decicion diagrams. | |
typedef value_type::bool_type | bool_type |
Type for standard true/false statements. | |
typedef value_type::size_type | size_type |
Type for lengths, dimensions, etc. | |
typedef value_type::integer_type | integer_type |
Type for integer numbers. | |
typedef value_type::idx_type | idx_type |
Type for indices. | |
typedef value_type::comp_type | comp_type |
Type for comparisons. | |
typedef value_type::hash_type | hash_type |
Type for hashing. | |
typedef value_type::ostream_type | ostream_type |
Type for out-stream. | |
typedef value_type::easy_equality_property | easy_equality_property |
The property whether the equality check is easy. |
This class contains property definitions to be used in polybori classes.
typedef value_type::bool_type pbori_traits< ValueType >::bool_type |
Type for standard true/false statements.
typedef value_type::comp_type pbori_traits< ValueType >::comp_type |
Type for comparisons.
typedef value_type::dd_type pbori_traits< ValueType >::dd_type |
Type of interface to binary decicion diagrams.
typedef value_type::easy_equality_property pbori_traits< ValueType >::easy_equality_property |
The property whether the equality check is easy.
typedef value_type::hash_type pbori_traits< ValueType >::hash_type |
Type for hashing.
typedef value_type::idx_type pbori_traits< ValueType >::idx_type |
Type for indices.
typedef value_type::integer_type pbori_traits< ValueType >::integer_type |
Type for integer numbers.
typedef value_type::ostream_type pbori_traits< ValueType >::ostream_type |
Type for out-stream.
typedef value_type::size_type pbori_traits< ValueType >::size_type |
Type for lengths, dimensions, etc.
typedef ValueType pbori_traits< ValueType >::value_type |