code: def _compute_search_spaces(self, used_variables):
          
          return tuple(len(domain) for name, domain in self._vars.iteritems())
docs: Returns the size of each domain for a simple constraint size computation.
          This is used to pick the most constraining constraint first.