equal
deleted
inserted
replaced
1386 return False |
1386 return False |
1387 if var.name in self.extneedsel or var.stinfo['selected']: |
1387 if var.name in self.extneedsel or var.stinfo['selected']: |
1388 return False |
1388 return False |
1389 if not same_scope(var): |
1389 if not same_scope(var): |
1390 return False |
1390 return False |
1391 if any(v for v, _ in var.stinfo['attrvars'] if not v.name in variables): |
1391 if any(v for v, _ in var.stinfo['attrvars'] if not v in terms): |
1392 return False |
1392 return False |
1393 return True |
1393 return True |
1394 |
1394 |
1395 def visit_exists(self, node, newroot, terms): |
1395 def visit_exists(self, node, newroot, terms): |
1396 newexists = node.__class__() |
1396 newexists = node.__class__() |