/usr/include/polybori/iterators/CStackSelector.h is in libpolybori-dev 0.8.3-5build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 | // -*- c++ -*-
//*****************************************************************************
/** @file CStackSelector.h
*
* @author Alexander Dreyer
* @date 2007-05-03
*
* This file defines the template class CStackSelector, whose only use is to
* generate the correct (term-)stack type for a given ordering.
*
* @par Copyright:
* (c) 2007 by The PolyBoRi Team
**/
//*****************************************************************************
#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
/** @class CStackSelector
*
**/
template <class OrderType, class NaviType, class BaseType = internal_tag>
class CStackSelector {
/// @name Abbreviations for internal types and tags
//@{
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;
//@}
/// Natural and lexicographical iterator's stack
typedef CTermStack<navigator, std::forward_iterator_tag, base> lex_type;
/// Iterator's stack for degree-orderings
typedef CDegTermStack<navigator, descending, invalid_tag, base> deg_type;
/// Iterator's stack for block-orderings
typedef CBlockTermStack<navigator, descending, base> block_type;
/// Abbreviation for non-block orderings
typedef typename on_same_type<deg_prop, valid_tag,
deg_type, lex_type>::type nonblock_type;
public:
/// The resulting type for iterator's stack
typedef typename on_same_type<block_prop, valid_tag,
block_type, nonblock_type>::type type;
};
END_NAMESPACE_PBORI
#endif
|