Commit 94fa103e authored by BARGAIN Orianne's avatar BARGAIN Orianne
Browse files

update documentation

parent b4d51d66
......@@ -47,7 +47,7 @@ merge_restriction(no).
:- grammar_doc('\\emphright{Search standard reduction.}').
merge_restriction(neighbours).
:- grammar_doc('\\emphright{Search reduction with local two-neighbour restriction.}').
:- grammar_doc('\\emphright{Search reduction with local two-neighbour restriction (cf. report chapter 5).}').
merge_restriction(old).
:- grammar_doc('\\emphright{Search reduction with old two-neighbour restriction (prior to 2019).}').
......@@ -90,10 +90,10 @@ search_reduction(FileName1, FileName2) :-
option(all_reductions, yesno, Reductions,
'specifies if solver is looking for all SEPI reductions or not'),
option(distinct_species, yesno, Distinct_species,
'specifies if solver is looking for all SEPIs with distinct species'),
'specifies if solver is listing only SEPIs with distinct species (cf. report section 6.6)'),
option(max_nb_reductions, number, MaxReduc,
'limits the number of SEPI reductions the solver is looking for'),
option(extremal_sepi, extremal_sepi, Bottom, 'defines the type of reduction searched'),
option(extremal_sepi, extremal_sepi, Bottom, 'defines the type of reduction searched (cf. report chapter 3)'),
option(stats, yesno, _Stats, 'display computation time'),
debug(sepi, "Debugging sepi", []),
(
......
Supports Markdown
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