alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

autfilt, randaut: rename --uniq to --unique

Browse source 
for consistency with ltlfilt

* src/bin/autfilt.cc, src/bin/randaut.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2014-12-29 23:44:10 +01:00
parent 18d8c3efc0
commit a7c1d4c479
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/bin/autfilt.cc
View file

@ -163,7 +163,7 @@ static const argp_option options[] =
{ 0, 0, 0, 0, "Filters:", 6 },
{ "are-isomorphic", OPT_ARE_ISOMORPHIC, "FILENAME", 0,
"keep automata that are isomorphic to the automaton in FILENAME", 0 },
{ "uniq", 'u', 0, 0,
{ "unique", 'u', 0, 0,
"do not output the same automaton twice (same in the sense that they "\
"are isomorphic)", 0 },
{ "isomorphic", 0, 0, OPTION_ALIAS | OPTION_HIDDEN, 0, 0 },

2
src/bin/randaut.cc
View file

@ -82,7 +82,7 @@ static const argp_option options[] =
{ "density", 'd', "FLOAT", 0, "density of the transitions (0.2)", 0 },
{ "deterministic", 'D', 0, 0, "build a complete, deterministic automaton ",
0 },
{ "uniq", 'u', 0, 0,
{ "unique", 'u', 0, 0,
"do not output the same automaton twice (same in the sense that they "\
"are isomorphic)", 0 },
{ "seed", OPT_SEED, "INT", 0,