equal
deleted
inserted
replaced
180 # remove invariant variable from solutions to remove duplicates |
180 # remove invariant variable from solutions to remove duplicates |
181 # later, then reinserting a type for the variable even later |
181 # later, then reinserting a type for the variable even later |
182 for sol in newsols: |
182 for sol in newsols: |
183 invariants.setdefault(id(sol), {})[vname] = sol.pop(vname) |
183 invariants.setdefault(id(sol), {})[vname] = sol.pop(vname) |
184 elif var.scope is not rqlst: |
184 elif var.scope is not rqlst: |
185 # move appart variables which are in a EXISTS scope and are variating |
185 # move apart variables which are in a EXISTS scope and are variating |
186 try: |
186 try: |
187 thisexistssols, thisexistsvars = existssols[var.scope] |
187 thisexistssols, thisexistsvars = existssols[var.scope] |
188 except KeyError: |
188 except KeyError: |
189 thisexistssols = [newsols[0]] |
189 thisexistssols = [newsols[0]] |
190 thisexistsvars = set() |
190 thisexistsvars = set() |