CStackSelector.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_iterators_CStackSelector_h_
#define polybori_iterators_CStackSelector_h_
// include basic definitions
#include <polybori/pbori_defs.h>
// include polybori's functionals
#include <polybori/routines/pbori_func.h>
// get stack types, which are used to store and handle paths of current terms
#include "CTermStack.h"
// include standard iterator functionality
#include <iterator>
#include <polybori/orderings/COrderingTags.h>
BEGIN_NAMESPACE_PBORI
template <class OrderType, class NaviType, class BaseType = internal_tag>
class CStackSelector {
typedef BaseType base;
typedef NaviType navigator;
typedef COrderingTags<typename OrderType::order_tag> orderings_tags;
typedef typename orderings_tags::descending_property descending;
typedef typename orderings_tags::degorder_property deg_prop;
typedef typename orderings_tags::blockorder_property block_prop;
typedef CTermStack<navigator, std::forward_iterator_tag, base> lex_type;
typedef CDegTermStack<navigator, descending, invalid_tag, base> deg_type;
typedef CBlockTermStack<navigator, descending, base> block_type;
typedef typename on_same_type<deg_prop, valid_tag,
deg_type, lex_type>::type nonblock_type;
public:
typedef typename on_same_type<block_prop, valid_tag,
block_type, nonblock_type>::type type;
};
END_NAMESPACE_PBORI
#endif