def update(self, left_list, right_list): self.left = self.left + left_list self.right = self.right + right_list out, last, left, right = intersect.intersection(self.left, self.right, intersect.division) out.append(last) return out
def update(self, *args, **kargs): left_list = args[0] right_list = args[1] out, last, a, b = intersect.intersection(left_list, right_list, intersect.conjunction) if last: out.append(last) return out
def update(self, *args, **kargs): left_list = args[0] right_list = args[1] self.left = self.left + left_list self.right = self.right + right_list out, last, left, right = intersect.intersection( self.left, self.right, intersect.iff) if last: out.append(last) return out
def update(self, *args, **kargs): out = [] left_list = self.left + args[0] right_list = self.right + args[1] out, last, left, right = intersect.intersection(left_list, right_list, intersect.disjunction) self.left = left self.right = right if out: self.last = last return out
def update(self, left_list, right_list): out = [] self.left = self.left + left_list self.right = self.right + right_list out, last, left, right = intersect.intersection(self.left, self.right, intersect.power) self.left = left self.right = right if out: self.last = last return out