/usr/share/netgen/libsrc/general/seti.hpp is in netgen-headers 4.9.13.dfsg-8build2.
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 | #ifndef FILE_SETI
#define FILE_SETI
/**************************************************************************/
/* File: seti.hh */
/* Author: Joachim Schoeberl */
/* Date: 20. Mar. 98 */
/**************************************************************************/
namespace netgen
{
/**
Set of Integers
*/
class IndexSet
{
Array<int> set;
BitArray flags;
public:
IndexSet (int maxind);
~IndexSet ();
/// increase range to maxind
void SetMaxIndex (int maxind);
int IsIn (int ind) const
{
return flags.Test (ind);
}
void Add (int ind)
{
if (!flags.Test(ind))
{
set.Append (ind);
flags.Set (ind);
}
}
void Del (int ind);
void Clear ();
const Array<int> & GetArray() { return set; }
};
}
#endif
|