Size sets with one element discarded
| 109 | |
| 110 | /// Size sets with one element discarded |
| 111 | class SizeSetMinusOne : public SizeSet { |
| 112 | protected: |
| 113 | /// Position of discarded item |
| 114 | int p; |
| 115 | public: |
| 116 | /// Default constructor |
| 117 | SizeSetMinusOne(void); |
| 118 | /// Initialize for at most \n n_max entries |
| 119 | SizeSetMinusOne(Region& region, int n); |
| 120 | /// Discard size \a s |
| 121 | void minus(int s); |
| 122 | /// Return cardinality of set (number of entries) |
| 123 | int card(void) const; |
| 124 | /// Return total size |
| 125 | int total(void) const; |
| 126 | /// Return size of item \a i |
| 127 | int operator [](int i) const; |
| 128 | }; |
| 129 | |
| 130 | |
| 131 | /** |