This file is indexed.

/usr/include/polybori/groebner/PairStatusSet.h is in libpolybori-groebner-dev 0.8.3-3+b2.

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
// -*- c++ -*-
//*****************************************************************************
/** @file PairStatusSet.h 
 *
 * @author Michael Brickenstein 
 * @date 2011-06-29 
 *
 * This file includes the definition of the class @c PairStatusSet.
 *
 * @par Copyright:
 *   (c) 2006-2010 by The PolyBoRi Team
 *
**/
//*****************************************************************************

#ifndef polybori_groebner_PairStatusSet_h_
#define polybori_groebner_PairStatusSet_h_

// include basic definitions
#include "groebner_defs.h"

#include <boost/dynamic_bitset.hpp>

BEGIN_NAMESPACE_PBORIGB

/** @class PairStatusSet
 * @brief This class defines PairStatusSet.
 *
 **/
class PairStatusSet{
public:
  typedef boost::dynamic_bitset<> bitvector_type;
  bool hasTRep(int ia, int ja) const {
    int i,j;
    i=std::min(ia,ja);
    j=std::max(ia,ja);
    return table[j][i]==HAS_T_REP;
  }
  void setToHasTRep(int ia, int ja){
    int i,j;
    i=std::min(ia,ja);
    j=std::max(ia,ja);
    table[j][i]=HAS_T_REP;
  }

  template <class Iterator>
  void setToHasTRep(Iterator start, Iterator finish, int ja){
    for (; start != finish; ++start)
      setToHasTRep(*start, ja);
  }
  void setToUncalculated(int ia, int ja){
    int i,j;
    i=std::min(ia,ja);
    j=std::max(ia,ja);
    table[j][i]=UNCALCULATED;
  }

  template <class Iterator>
  void setToUncalculated(Iterator start, Iterator finish, int ja){
    for (; start != finish; ++start)
      setToUncalculated(*start, ja);
  }

  int prolong(bool value=UNCALCULATED){
    int s=table.size();
    table.push_back(bitvector_type(s, value));
    return s;
  }
  PairStatusSet(int size=0){
    int s=0;
    for(s=0;s<size;s++){
      prolong();
    }
  }
  static const bool HAS_T_REP=true;
  static const bool UNCALCULATED=false;

protected:
std::vector<bitvector_type> table;
};

END_NAMESPACE_PBORIGB

#endif /* polybori_PairStatusSet_h_ */