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

---