269 nums.n_excluded = self.n_excluded + other.n_excluded |
269 nums.n_excluded = self.n_excluded + other.n_excluded |
270 nums.n_missing = self.n_missing + other.n_missing |
270 nums.n_missing = self.n_missing + other.n_missing |
271 nums.n_branches = self.n_branches + other.n_branches |
271 nums.n_branches = self.n_branches + other.n_branches |
272 nums.n_partial_branches = ( |
272 nums.n_partial_branches = ( |
273 self.n_partial_branches + other.n_partial_branches |
273 self.n_partial_branches + other.n_partial_branches |
274 ) |
274 ) |
275 nums.n_missing_branches = ( |
275 nums.n_missing_branches = ( |
276 self.n_missing_branches + other.n_missing_branches |
276 self.n_missing_branches + other.n_missing_branches |
277 ) |
277 ) |
278 return nums |
278 return nums |
279 |
279 |
280 def __radd__(self, other): |
280 def __radd__(self, other): |
281 # Implementing 0+Numbers allows us to sum() a list of Numbers. |
281 # Implementing 0+Numbers allows us to sum() a list of Numbers. |
282 assert other == 0 # we only ever call it this way. |
282 assert other == 0 # we only ever call it this way. |