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