| 42 | namespace Test { namespace Set { |
| 43 | |
| 44 | CountableSet::CountableSet(const Gecode::IntSet& d0) : d(d0), cur(0) { |
| 45 | Gecode::IntSetRanges isr(d); |
| 46 | lubmax = |
| 47 | static_cast<unsigned int>(pow(static_cast<double>(2.0), |
| 48 | static_cast<int>(Gecode::Iter::Ranges::size(isr)))); |
| 49 | } |
| 50 | |
| 51 | void CountableSet::operator++(void) { |
| 52 | cur++; |