From 31baa7324fc9d1c92fcbc8e6d355ffe2adffdfc4 Mon Sep 17 00:00:00 2001
From: VIGNET Pierre <pierre.vignet@irisa.fr>
Date: Thu, 21 Nov 2019 05:10:59 +0100
Subject: [PATCH] [cmd] Add todo: need to put some functions of command_line
tools into the cadbiom library (for the loading of macs...)
---
command_line/cadbiom_cmd/solution_search.py | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/command_line/cadbiom_cmd/solution_search.py b/command_line/cadbiom_cmd/solution_search.py
index 0d1d756..2490b9f 100644
--- a/command_line/cadbiom_cmd/solution_search.py
+++ b/command_line/cadbiom_cmd/solution_search.py
@@ -196,6 +196,7 @@ def main2(chart_file, mac_file, mac_step_file, mac_complete_file, mac_strong_fil
if continue_run:
# Reload previous working files
try:
+ ## TODO: see docstring of read_mac_file
previous_frontier_places = read_mac_file(mac_file)
current_start_prop = make_logical_formula(previous_frontier_places,
start_prop)
@@ -717,6 +718,9 @@ def compute_macs(params):
def read_mac_file(file):
"""Return a list a fontier places already found in mac file
+ .. TODO: use tools/solutions.py functions to reload frontiers
+ => put these functions into the library...
+
.. note:: use make_logical_formula() to get the new start_prop of the run.
:param: Mac file of a previous run
--
GitLab