code: def set_bound(self, tobj, rhs):
          
  
          # saving the sum and its weight in a mapping
          self.tobj[-tobj.rhs[rhs]] = tobj
          self.bnds[-tobj.rhs[rhs]] = rhs
          self.wght[-tobj.rhs[rhs]] = self.minw
  
          # adding a new assumption to force the sum to be at most rhs
          self.sums.append(-tobj.rhs[rhs])
docs: Given a totalizer sum and its right-hand side to be
              enforced, the method creates a new sum assumption literal,
              which will be used in the following SAT oracle calls.
  
              :param tobj: totalizer sum
              :param rhs: right-hand side
  
              :type tobj: :class:`.ITotalizer`
              :type rhs: int