Method domainsizesum

gecode/int/distinct/dom.hpp:86–90

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