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

Update Readme with examples & command line doc

parent 72de7760
......@@ -71,13 +71,88 @@ It contains the cadbiom folder with:
# Utilization
Run the following command in your shell:
make run
## GUI
Run the following command in your shell:
make run_gui
## Command line
$ python -h
usage: [-h] [-vv [VERBOSE]]
optional arguments:
-h, --help show this help message and exit
-vv [VERBOSE], --verbose [VERBOSE]
compute_macs Parse arguments and launch Cadbiom search of MACs
(Minimal Activation Conditions). - If there is no
input file, there will be only one process. - If an
input file is given, there will be 1 process per line
(per logical formula on each line). - all_macs: Solver
will try to search all macs with 0 to the maximum of
steps allowed. - continue: If there is a mac file from
a previous work, last frontier places will be
sort_solutions Parse a solution file and sort all frontier places in
alphabetical order.
parse_trajectories Parse a complete solution file and make a
representation of trajectories.
The output is in graphml file format and is exported
in 'graphs' directory. .. note:: Requires the
model file.
merge_cams Merge solutions to a csv file. .. note:: CSV file:
<Final property formula>;<cam>
usage: compute_macs [-h] [--input_file [INPUT_FILE]]
[--combinations] [--steps [STEPS]]
[--all_macs] [--continue]
[--start_prop [START_PROP]]
[--inv_prop [INV_PROP]] [--output [OUTPUT]]
chart_file [final_prop]
positional arguments:
optional arguments:
-h, --help show this help message and exit
--input_file [INPUT_FILE]
--steps [STEPS]
--start_prop [START_PROP]
--inv_prop [INV_PROP]
--output [OUTPUT]
usage: parse_trajectories [-h] chart_file sol_file
positional arguments:
<img alt="graph trajectory" src="./graphs/graph_example_with_legend.png" />
# License
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