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

ltl2tgba: rename --hoa to --hoaf

Browse source 
for consistency with autfilt, randaut, and dstar2tgba

* src/bin/ltl2tgba.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2014-12-29 23:47:31 +01:00
parent a7c1d4c479
commit 06b8118dec
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/bin/ltl2tgba.cc
View file

@ -76,7 +76,7 @@ static const argp_option options[] =
"GraphViz's format (default). Add letters to chose (c) circular nodes, "
"(h) horizontal layout, (v) vertical layout, (n) with name, "
"(N) without name, (t) always transition-based acceptance.", 0 },
{ "hoa", 'H', "s|t|m|l", OPTION_ARG_OPTIONAL,
{ "hoaf", 'H', "s|t|m|l", OPTION_ARG_OPTIONAL,
"Output the automaton in HOA format. Add letters to select "
"(s) state-based acceptance, (t) transition-based acceptance, "
"(m) mixed acceptance, (l) single-line output", 0 },