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
|
////////////////////////////////////////////////////////////////////////////////
//
// IndexTableArray.hh
//
// produced: 29/05/98 jr
// last change: 29/05/98 jr
//
////////////////////////////////////////////////////////////////////////////////
#ifndef INDEXTABLEARRAY_HH
#define INDEXTABLEARRAY_HH
#include <stdlib.h>
#include <iostream>
#include <ctype.h>
#include "IntegerSet.hh"
#include "PlainArray.hh"
#include "Array.hh"
#include "PlainHashIndexTable.hh"
typedef IntegerSet Simplex;
typedef PlainHashIndexTable<Simplex> IndexTable;
typedef PlainArray<IndexTable> _IndexTableArray;
class IndexTableArray : public _IndexTableArray {
protected:
static IndexTableArray _index_table;
public:
inline const size_type resize(const size_type new_size) {
if (new_size > maxindex()) {
_IndexTableArray::resize(new_size);
}
return maxindex();
}
};
#endif
// eof IndexTableArray.hh
|
