Method domainsizesum

gecode/int/distinct/val.hpp:163–167

  template<class View>
  void
  Val<View>::domainsizesum(Propagator::InDecision in, unsigned int& size,
                           unsigned int& size_b) const {
    cbssize(x,in,size,size_b);
  }
#endif

  template<class View>