Classes |
class | push_back< ListType, ValueType > |
| Accessing .push_back(). More...
|
class | change_idx< RhsType, LhsType > |
class | change_assign< RhsType, LhsType > |
| Accessing .changeAssign(). More...
|
class | change_assign< void, pbori_traits< void >::idx_type > |
class | subset1_assign< RhsType, LhsType > |
| Accessing .subset1Assign(). More...
|
class | subset0_assign< RhsType, LhsType > |
| Accessing .subset1Assign(). More...
|
class | unite_assign< RhsType, LhsType > |
| Accessing .uniteAssign(). More...
|
class | project_ith< 0, NLEN > |
class | project_ith< 1, NLEN > |
class | project_ith< 2, NLEN > |
class | project_ith< 3, NLEN > |
class | dummy_iterator |
| An iterator which virtually does nothing. More...
|
class | pbori_traits< dummy_iterator > |
class | integral_constant< IntType, INTCONST, ResultType > |
| integral_constant<int_type, NUM>()() returns NUM of int_type, instead of possibly arguments. integral_constant<int_type, NUM, other_type>()() returns conversion of NUM of int_type to other_type. More...
|
class | binary_composition< BinaryOp, FirstOp, SecondOp > |
| Compose a binary function with two default constructable unary functions. More...
|
class | symmetric_composition< BinaryOp, UnaryOperation > |
| Compose a binary function with a default constructable unary function for both arguments. More...
|
class | maximum_iteration< ValueType > |
| Returns maximun of given argument and previous calls. More...
|
class | dd_add_assign< DDType > |
| Defines addition operation with assignment for decision diagrams. More...
|
class | times_indexed_var< DDType, IdxType > |
| Defines multiplication operation with the idx-th variable. More...
|
class | append_indexed_divisor< DDType, IdxType > |
| Defines multiplication (with assignment) with the idx-th variable. More...
|
class | inserts< RhsType, LhsType > |
| Accessing .insert(). More...
|
class | inserts< void, pbori_traits< void >::idx_type > |
class | insert_assign< RhsType, LhsType > |
| Accessing .insertAssign(). More...
|
class | insert_assign< void, pbori_traits< void >::idx_type > |
class | removes< RhsType, LhsType > |
| Accessing .remove(). More...
|
class | removes< void, pbori_traits< void >::idx_type > |
class | remove_assign< RhsType, LhsType > |
| Accessing .removeAssign(). More...
|
class | remove_assign< void, pbori_traits< void >::idx_type > |
class | insert_second_to_list< ListType, RhsType, LhsType > |
| Insert second argument to a given list. More...
|
class | is_same_type< Type, Type > |
class | is_same_type< Type1, Type2 > |
| This class tests whether two types equal. More...
|
class | on_same_type< Type, Type, ThenType, ElseType > |
class | on_same_type< Type1, Type2, ThenType, ElseType > |
| This class switches betweem two types, depending on equality of types. More...
|
class | internal_tag |
| This class marks an internal part of a procedure. More...
|
class | type_tag< Type > |
| This class marks a given type. More...
|
class | hashes< Type > |
class | generate_index_map< Type > |
class | sizes_less< ListType > |
| A functional for size comparisons. More...
|
class | reversed_iteration_adaptor< BiIterator > |
class | navigates< DDType > |
class | default_value< ValueType > |
class | constant_binder_base< BindType, BinaryFunction, ValueType, ConstantOp > |
class | constant_binder2nd< BinaryFunction, ConstantOp > |
class | constant_binder1st< BinaryFunction, ConstantOp > |
class | default_binder_base< BindType, BinaryFunction, ValueType > |
class | default_binder2nd< BinaryFunction > |
class | default_binder1st< BinaryFunction > |
class | variable_name< ManagerType, IdxType, VarNameType > |
| Defines generic access to variable names. More...
|
class | mapped_new_node< MapType, VariableType, TermType, NodeType > |
class | get_node< DDType > |
struct | handle_error< ErrorNumber > |
struct | handle_error< 0 > |
Defines |
#define | pbori_func_h_ |
This file includes some functional templates templates.