pbori_routines_misc.h File Reference

#include "pbori_defs.h"
#include "CIdxVariable.h"
#include "CacheManager.h"
#include "CDDOperations.h"

Go to the source code of this file.

Namespaces
namespace	polybori
Functions
template<class Iterator>
Iterator::value_type	polybori::index_vector_hash (Iterator start, Iterator finish)
template<class DegreeCacher, class NaviType>
NaviType::size_type	polybori::dd_cached_degree (const DegreeCacher &cache, NaviType navi)
template<class DegreeCacher, class NaviType, class SizeType>
NaviType::size_type	polybori::dd_cached_degree (const DegreeCacher &cache, NaviType navi, SizeType bound)
template<class Iterator, class NameGenerator, class Separator, class EmptySetType, class OStreamType>
void	polybori::dd_print_term (Iterator start, Iterator finish, const NameGenerator &get_name, const Separator &sep, const EmptySetType &emptyset, OStreamType &os)
template<class TermType, class NameGenerator, class Separator, class EmptySetType, class OStreamType>
void	polybori::dd_print_term (const TermType &term, const NameGenerator &get_name, const Separator &sep, const EmptySetType &emptyset, OStreamType &os)
template<class Iterator, class NameGenerator, class Separator, class InnerSeparator, class EmptySetType, class OStreamType>
void	polybori::dd_print_terms (Iterator start, Iterator finish, const NameGenerator &get_name, const Separator &sep, const InnerSeparator &innersep, const EmptySetType &emptyset, OStreamType &os)
template<class CacheType, class NaviType, class PolyType>
PolyType	polybori::dd_multiply_recursively (const CacheType &cache_mgr, NaviType firstNavi, NaviType secondNavi, PolyType init)
template<class CacheType, class NaviType, class PolyType, class MonomTag>
PolyType	polybori::dd_multiply_recursively (const CacheType &cache_mgr, NaviType monomNavi, NaviType navi, PolyType init, MonomTag monom_tag)
template<class DDGenerator, class Iterator, class NaviType, class PolyType>
PolyType	polybori::dd_multiply_recursively_exp (const DDGenerator &ddgen, Iterator start, Iterator finish, NaviType navi, PolyType init)
template<class DegCacheMgr, class NaviType, class SizeType>
bool	polybori::max_degree_on_then (const DegCacheMgr &deg_mgr, NaviType navi, SizeType degree, valid_tag is_descending)
template<class DegCacheMgr, class NaviType, class SizeType>
bool	polybori::max_degree_on_then (const DegCacheMgr &deg_mgr, NaviType navi, SizeType degree, invalid_tag non_descending)
template<class CacheType, class DegCacheMgr, class NaviType, class TermType, class SizeType, class DescendingProperty>
TermType	polybori::dd_recursive_degree_lead (const CacheType &cache_mgr, const DegCacheMgr &deg_mgr, NaviType navi, TermType init, SizeType degree, DescendingProperty prop)
template<class CacheType, class DegCacheMgr, class NaviType, class TermType, class DescendingProperty>
TermType	polybori::dd_recursive_degree_lead (const CacheType &cache_mgr, const DegCacheMgr &deg_mgr, NaviType navi, TermType init, DescendingProperty prop)
template<class CacheType, class DegCacheMgr, class NaviType, class TermType, class SizeType, class DescendingProperty>
TermType &	polybori::dd_recursive_degree_leadexp (const CacheType &cache_mgr, const DegCacheMgr &deg_mgr, NaviType navi, TermType &result, SizeType degree, DescendingProperty prop)
template<class CacheType, class DegCacheMgr, class NaviType, class TermType, class DescendingProperty>
TermType &	polybori::dd_recursive_degree_leadexp (const CacheType &cache_mgr, const DegCacheMgr &deg_mgr, NaviType navi, TermType &result, DescendingProperty prop)
template<class CacheType, class NaviType, class TermType>
TermType	polybori::dd_existential_abstraction (const CacheType &cache_mgr, NaviType varsNavi, NaviType navi, TermType init)
template<class CacheType, class NaviType, class PolyType>
PolyType	polybori::dd_divide_recursively (const CacheType &cache_mgr, NaviType navi, NaviType monomNavi, PolyType init)
template<class DDGenerator, class Iterator, class NaviType, class PolyType>
PolyType	polybori::dd_divide_recursively_exp (const DDGenerator &ddgen, NaviType navi, Iterator start, Iterator finish, PolyType init)
template<class CacheType, class NaviType, class MonomType>
MonomType	polybori::cached_used_vars (const CacheType &cache, NaviType navi, MonomType init)
template<class NaviType, class Iterator>
bool	polybori::dd_owns (NaviType navi, Iterator start, Iterator finish)
template<class CacheType, class NaviType, class DegType, class SetType>
SetType	polybori::dd_graded_part (const CacheType &cache, NaviType navi, DegType deg, SetType init)
template<class CacheManager, class NaviType, class SetType>
SetType	polybori::dd_first_divisors_of (CacheManager cache_mgr, NaviType navi, NaviType rhsNavi, SetType init)
template<class CacheType, class NaviType, class SetType>
SetType	polybori::dd_first_multiples_of (const CacheType &cache_mgr, NaviType navi, NaviType rhsNavi, SetType init)

---

Detailed Description

Author:

Alexander Dreyer

Date:

2006-08-23

This file includes files, which defines miscellaneous function templates.

Copyright:

(c) 2006 by The PolyBoRi Team