Commit 2e8d6dfb authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

Add flag used to get all macs under given steps

parent 41f415af
......@@ -102,7 +102,7 @@ def make_logical_formula(previous_frontier_places, start_prop):
def main2(chart_file, cam_file, cam_step_file, cam_complete_file, cam_strong_file,
steps, final_prop, start_prop, inv_prop):
steps, final_prop, start_prop, inv_prop, all_macs):
"""
:param arg1: Model file (bcx, xml, cal).
......@@ -412,7 +412,8 @@ def main(chart_file, cam_file, cam_step_file, cam_complete_file, cam_strong_file
def launch_researchs(args):
"""Parse arguments and launch multiprocessing if an input file was specified
"""Parse arguments and launch Cadbiom search of MACs
(Minimal Activation Conditions).
- If there is no input file, there will be only on process.
- If an input file is given, there will be 1 process per line (per logical
......@@ -526,7 +527,8 @@ def compute_macs(params):
cam_complete_file, # cam_complete_file
cam_strong_file, # cam_strong_file
params['steps'], params['final_prop'],
params['start_prop'], params['inv_prop']
params['start_prop'], params['inv_prop'],
params['all_macs'],
)
def args_to_param(args):
......@@ -604,6 +606,9 @@ if __name__ == "__main__":
group.add_argument('final_prop', nargs='?')
group.add_argument('--input_file', action=ReadableFile, nargs='?')
parser_input_file.add_argument('--steps', type=int, nargs='?', default=10)
# https://docs.python.org/dev/library/argparse.html#action
# all_macs to Fals by default
parser_input_file.add_argument('--all_macs', action='store_true')
parser_input_file.add_argument('--start_prop', nargs='?', default=None)
parser_input_file.add_argument('--inv_prop', nargs='?', default=None)
parser_input_file.add_argument('--output', action=ReadableDir, nargs='?',
......
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