/usr/include/polybori/CGenericIter.h is in libpolybori-dev 0.5~rc1-2.1build2.
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 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 | // -*- c++ -*-
//*****************************************************************************
/** @file CGenericIter.h
*
* @author Alexander Dreyer
* @date 2006-09-06
*
* This file defines a degree lexicographic iterator.
*
* @par Copyright:
* (c) 2006 by The PolyBoRi Team
*
* @internal
* @version \$Id: CGenericIter.h,v 1.9 2008/07/08 21:41:58 alexanderdreyer Exp $
*
* @par History:
* @verbatim
* $Log: CGenericIter.h,v $
* Revision 1.9 2008/07/08 21:41:58 alexanderdreyer
* Merge: from developer's repository
*
* Revision 1.20 2008/01/16 17:10:18 dreyer
* CHANGE: term-iterators use correct manager now
*
* Revision 1.19 2008/01/11 16:58:57 dreyer
* CHANGE: Experimenting with iterators and correct rings
*
* Revision 1.18 2007/11/06 15:03:34 dreyer
* CHANGE: More generic copyright
*
* Revision 1.17 2007/05/03 16:04:45 dreyer
* CHANGE: new-style CTermIter integrated
*
* Revision 1.16 2007/04/30 15:20:30 dreyer
* CHANGE: Switching from CTermIter to iterators based on CTermStack
*
* Revision 1.15 2007/04/27 21:20:04 dreyer
* CHANGE: testing exponent iterator
*
* Revision 1.14 2007/04/24 13:25:27 bricken
* + virtual destructor
*
* Revision 1.13 2007/04/24 11:45:39 dreyer
* CHANGE: code clean up
*
* Revision 1.12 2007/04/18 15:37:28 dreyer
* ADD: dp_asc now active
*
* Revision 1.11 2007/04/13 13:55:53 dreyer
* CHANGE: using CTermStack for implementing ordered_(exp_)iterator
*
* Revision 1.10 2007/04/12 09:12:15 dreyer
* FIX: 1-polynomial now handles corretly by block ordering
*
* Revision 1.9 2007/04/05 15:38:32 dreyer
* CHANGE: experimenting with shared pointers
*
* Revision 1.8 2007/04/05 10:49:52 dreyer
* FIX: ordered iterator does deep copies now
*
* Revision 1.7 2007/03/28 12:34:57 dreyer
* ADD: added testsuite testcases for blockordering; Fixed errors in block-order
*
* Revision 1.6 2007/03/21 08:55:08 dreyer
* ADD: first version of block_dlex running
*
* Revision 1.5 2007/03/19 16:49:38 dreyer
* CHANGE: ordered iterators made more generic
*
* Revision 1.4 2007/03/16 16:59:20 dreyer
* CHANGE: started to rewrite CGenericIter using boost:iterator_facade
*
* Revision 1.3 2006/10/05 07:33:58 dreyer
* ADD: BoolePolynomial::genericExpBegin()/End()
*
* Revision 1.2 2006/10/04 15:46:49 dreyer
* ADD: divisorsOf(exp_type), orderedExpBegin/End;
* CHANGE: Polynomials printing respects ordering
*
* Revision 1.1 2006/10/04 13:09:56 dreyer
* ADD: added compile-time optimied iterators and genericBegin/genericEnd
*
* @endverbatim
**/
//*****************************************************************************
// include basic definitions
#include "pbori_defs.h"
#include "pbori_algo.h"
// get stuff for term iteration
#include "CStackSelector.h"
#include "CTermIter.h"
#include "CTermGenerator.h"
#ifndef CGenericIter_h_
#define CGenericIter_h_
BEGIN_NAMESPACE_PBORI
template <class OrderType, class NaviType, class RefType>
struct pbori_base<CGenericIter<OrderType, NaviType, RefType> > {
typedef typename CStackSelector<OrderType, NaviType>::type stack_type;
typedef CTermIter<stack_type, CTermGenerator<RefType> > type;
};
template <class OrderType, class NaviType, class RefType>
class CGenericIter:
public pbori_base<CGenericIter<OrderType, NaviType, RefType> >::type {
public:
typedef typename pbori_base<CGenericIter>::type base;
typedef typename base::term_generator term_generator;
template <class MgrType>
CGenericIter(NaviType navi, const MgrType& mgr): base(navi, mgr) {}
CGenericIter(): base() {}
};
template <class OrderType, class NaviType>
class CGenericIter<OrderType, NaviType, BooleMonomial>:
public pbori_base<CGenericIter<OrderType, NaviType, BooleMonomial> >::type {
public:
typedef typename pbori_base<CGenericIter>::type base;
typedef typename base::term_generator term_generator;
template <class MgrType>
CGenericIter(NaviType navi, const MgrType& mgr): base(navi, mgr) {}
CGenericIter(): base() {}
};
///////////////
END_NAMESPACE_PBORI
#endif
|