pbori_func.h File Reference

#include "pbori_defs.h"
#include "pbori_traits.h"
#include <string>
#include <sstream>
#include <map>

Go to the source code of this file.

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 >
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  lm_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 HAVE_HASH_MAP   1

Detailed Description

Author:
Alexander Dreyer
Date:
2006-04-07

This file includes some functional templates templates.

Copyright:
(c) 2006 by The PolyBoRi Team

Define Documentation

#define HAVE_HASH_MAP   1
Generated on Wed May 5 19:05:50 2010 for PolyBoRi by  doxygen 1.6.3