Show More
@@ -1034,8 +1034,8 b' def processreplacement(state):' | |||||
1034 | allsuccs = set() |
|
1034 | allsuccs = set() | |
1035 | replaced = set() |
|
1035 | replaced = set() | |
1036 | fullmapping = {} |
|
1036 | fullmapping = {} | |
1037 |
# initiali |
|
1037 | # initialize basic set | |
1038 | # fullmapping record all operations recorded in replacement |
|
1038 | # fullmapping records all operations recorded in replacement | |
1039 | for rep in replacements: |
|
1039 | for rep in replacements: | |
1040 | allsuccs.update(rep[1]) |
|
1040 | allsuccs.update(rep[1]) | |
1041 | replaced.add(rep[0]) |
|
1041 | replaced.add(rep[0]) |
General Comments 0
You need to be logged in to leave comments.
Login now