Commit ca679ad9 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[cmd] Fix typos; rename search function

parent 89e52ce3
......@@ -144,8 +144,9 @@ def get_dimacs_start_properties(mcla, previous_frontier_places):
for frontier_places in previous_frontier_places]
def main2(chart_file, mac_file, mac_step_file, mac_complete_file, mac_strong_file,
steps, final_prop, start_prop, inv_prop, all_macs, continue_run, limit):
def search_entry_point(
chart_file, mac_file, mac_step_file, mac_complete_file, mac_strong_file,
steps, final_prop, start_prop, inv_prop, all_macs, continue_run, limit):
"""Search solutions
:param chart_file: Model file (bcx, xml, cal).
......@@ -722,14 +723,14 @@ def compute_macs(params):
if not params['continue']:
# Reset previous working files
# PS: the reload is done in main2() function
# PS: the reload is done in search_entry_point() function
remove_file(mac_file)
remove_file(mac_step_file)
remove_file(mac_complete_file)
remove_file(mac_strong_file)
# MAC research
main2(
search_entry_point(
params['chart_file'], # chart_file
mac_file, # mac_file
mac_step_file, # mac_step_file
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment