#include <polybori/pbori_defs.h>
#include "pbori_algo.h"
#include <polybori/common/traits.h>
Go to the source code of this file.
Namespaces | |
namespace | polybori |
Classes | |
class | polybori::dummy_data_type< DummyType > |
class | polybori::bounded_restricted_term< NaviType, DescendingProperty > |
Functions | |
template<class FirstIterator, class SecondIterator, class BinaryPredicate> | |
CTypes::comp_type | polybori::lex_compare_3way (FirstIterator start, FirstIterator finish, SecondIterator rhs_start, SecondIterator rhs_finish, BinaryPredicate idx_comp) |
template<class LhsType, class RhsType, class BinaryPredicate> | |
CTypes::comp_type | polybori::lex_compare (const LhsType &lhs, const RhsType &rhs, BinaryPredicate idx_comp, valid_tag has_easy_equality_test) |
defines lexicographic comparison | |
template<class LhsType, class RhsType, class BinaryPredicate> | |
CTypes::comp_type | polybori::lex_compare (const LhsType &lhs, const RhsType &rhs, BinaryPredicate idx_comp, invalid_tag has_no_easy_equality_test) |
defines lexicographic comparison | |
template<class LhsType, class RhsType, class BinaryPredicate> | |
CTypes::comp_type | polybori::lex_compare (const LhsType &lhs, const RhsType &rhs, BinaryPredicate idx_comp) |
defines lexicographic comparison | |
template<class LhsType, class RhsType, class BinaryPredicate> | |
CTypes::comp_type | polybori::deg_lex_compare (const LhsType &lhs, const RhsType &rhs, BinaryPredicate idx_comp) |
defines degree-lexicographic comparison | |
template<class StackType, class Iterator> | |
void | polybori::dummy_append (StackType &stack, Iterator start, Iterator finish) |
template<class DegreeCacher, class NaviType, class IdxType> | |
NaviType::deg_type | polybori::dd_cached_block_degree (const DegreeCacher &cache, NaviType navi, IdxType nextBlock) |
template<class DegCacheMgr, class NaviType, class IdxType, class SizeType> | |
bool | polybori::max_block_degree_on_then (const DegCacheMgr °_mgr, NaviType navi, IdxType next_block, SizeType degree, valid_tag is_descending) |
template<class DegCacheMgr, class NaviType, class IdxType, class SizeType> | |
bool | polybori::max_block_degree_on_then (const DegCacheMgr °_mgr, NaviType navi, IdxType next_block, SizeType degree, invalid_tag non_descending) |
template<class CacheType, class DegCacheMgr, class NaviType, class TermType, class Iterator, class SizeType, class DescendingProperty> | |
TermType | polybori::dd_block_degree_lead (const CacheType &cache_mgr, const DegCacheMgr °_mgr, NaviType navi, Iterator block_iter, TermType init, SizeType degree, DescendingProperty prop) |
template<class CacheType, class DegCacheMgr, class NaviType, class Iterator, class TermType, class DescendingProperty> | |
TermType | polybori::dd_block_degree_lead (const CacheType &cache_mgr, const DegCacheMgr °_mgr, NaviType navi, Iterator block_iter, TermType init, DescendingProperty prop) |
template<class FirstIterator, class SecondIterator, class IdxType, class BinaryPredicate> | |
CTypes::comp_type | polybori::restricted_lex_compare_3way (FirstIterator start, FirstIterator finish, SecondIterator rhs_start, SecondIterator rhs_finish, IdxType max_index, BinaryPredicate idx_comp) |
template<class LhsIterator, class RhsIterator, class Iterator, class BinaryPredicate> | |
CTypes::comp_type | polybori::block_dlex_compare (LhsIterator lhsStart, LhsIterator lhsFinish, RhsIterator rhsStart, RhsIterator rhsFinish, Iterator start, Iterator finish, BinaryPredicate idx_comp) |
template<class IdxType, class Iterator, class BinaryPredicate> | |
CTypes::comp_type | polybori::block_deg_lex_idx_compare (IdxType lhs, IdxType rhs, Iterator start, Iterator finish, BinaryPredicate idx_comp) |