merge

solution_search.py

@@ -167,6 +167,7 @@ def main2(chart_file, cam_file, cam_step_file, cam_complete_file, cam_strong_fil
                         ":: Reload previous frontier places: " + \
                         str(len(previous_frontier_places)))
         except IOError:
+            LOGGER.warning(final_prop + ":: cam file not found !")
             previous_frontier_places = set()
             current_start_prop = start_prop
     else:

solution_sort.py

@@ -2,6 +2,9 @@
 from __future__ import unicode_literals
 from __future__ import print_function
 
+import os
+import glob
+
 
 def get_solutions(file_descriptor):
     """return a tuple of the original line + the stripped line containing the solution"""
@@ -21,7 +24,21 @@ def get_solutions(file_descriptor):
             yield line, stripped_line
 
 
-def sort_solutions(file):
+def sort_solutions(path):
+    """
+    """
+
+    assert os.path.isfile(path) or os.path.isdir(path)
+
+    if os.path.isdir(path):
+
+        path = path if path[-1] == '/' else path + '/'
+        [sort_solutions_in_file(file) for file in glob.glob(path + '*cam*')]
+    else:
+        sort_solutions_in_file(path)
+
+
+def sort_solutions_in_file(file):
     """Sort all solutions in alphabetical order in place."""
 
     solutions = dict()