Method width

gecode/int/view/bool.hpp:88–91

    return x->size();
  }
  forceinline unsigned int
  BoolView::width(void) const {
    return x->width();
  }
  forceinline unsigned int
  BoolView::regret_min(void) const {
    return x->regret_min();