PLCGenerator.py
changeset 244 05f6e0d7710c
parent 242 5b3e1c4569e6
child 248 f7df265edd54
equal deleted inserted replaced
243:c5da8b706cde 244:05f6e0d7710c
   783                 factorized_paths.append([tuple([path for path, num in elements])] + eval(same_path))        
   783                 factorized_paths.append([tuple([path for path, num in elements])] + eval(same_path))        
   784                 for path, num in elements:
   784                 for path, num in elements:
   785                     uncomputed_index.remove(num)
   785                     uncomputed_index.remove(num)
   786         for num in uncomputed_index:
   786         for num in uncomputed_index:
   787             factorized_paths.append(paths[num])
   787             factorized_paths.append(paths[num])
       
   788         factorized_paths.sort()
   788         return factorized_paths
   789         return factorized_paths
   789 
   790 
   790     def GenerateLDPaths(self, connections, body):
   791     def GenerateLDPaths(self, connections, body):
   791         paths = []
   792         paths = []
   792         for connection in connections:
   793         for connection in connections: