Method isConsistent

gecode/set/var-imp/integerset.cpp:288–338

#endif

  bool
  BndSet::isConsistent(void) const {
#ifndef NDEBUG
    if (fst()==nullptr) {
      if (lst()!=nullptr || size()!=0) {
        std::cerr<<"Strange empty set.\n";
        return false;
      } else return true;
    }

    if (fst()!=nullptr && lst()==nullptr) {
      std::cerr<<"First is not null, last is.\n";
      return false;
    }

    RangeList *p=nullptr;
    RangeList *c=fst();

    int min = c->min();
    int max = c->max();

    if (max<min) {
      std::cerr << "Single range list twisted: ("<<min<<","<<max<<")" ;
      return false;
    }

    RangeList *nc=c->next();
    p=c; c=nc;
    while (c) {
      if (max<min) {
        std::cerr << "1";
        return false;
      }
      if ((max+1)>=c->min()) {
        std::cerr << "2";
        return false;
      }
      if (c->next()==nullptr && c!=lst()) {
        std::cerr << "3";
        return false;
      }

      min = c->min();
      max = c->max();

      nc=c->next();
      p=c; c=nc;
    }
#endif
    return true;
  }


}}