pbori_func.h File Reference
`#include <polybori/pbori_defs.h>`
`#include <polybori/common/traits.h>`
`#include <string>`
`#include <sstream>`
`#include <map>`

Go to the source code of this file.

## 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< 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< ITH, NLEN >
| Accessing ith of n arguments (ITH = 0 returns default value of first type) 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< 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< 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< 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< 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< Type1, Type2 >
| This class tests whether two types equal. 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< Type1, Type2, ThenType, ElseType >
| This class switches betweem two types, depending on equality of types. More...
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 >
struct | polybori::pbori_base< NewType >
class | polybori::get_node< DDType >

## Namespaces

| polybori

## Detailed Description

Author
  Alexander Dreyer

Date
  2006-04-07

This file includes some functional templates templates.

Copyright:
  (c) 2006 by The PolyBoRi Team