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