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

ltl2tgta: Honor -x as well

Browse source 
* src/bin/ltl2tgta.cc: Honor -x.
* src/bin/man/ltl2tgta.x, src/bin/man/spot-x.x: Add cross references.
This commit is contained in:
Alexandre Duret-Lutz 2013-03-23 17:19:50 +01:00
parent d78670ad44
commit 276f9108c6
3 changed files with 15 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/bin/ltl2tgta.cc
View file

@ -42,6 +42,7 @@
#include "taalgos/tgba2ta.hh" #include "taalgos/tgba2ta.hh"
#include "taalgos/dotty.hh" #include "taalgos/dotty.hh"
#include "taalgos/minimize.hh" #include "taalgos/minimize.hh"
#include "misc/optionmap.hh"
const char argp_program_doc[] ="\ const char argp_program_doc[] ="\
Translate linear-time formulas (LTL/PSL) into Testing Automata.\n\n\ Translate linear-time formulas (LTL/PSL) into Testing Automata.\n\n\
@ -78,6 +79,8 @@ static const argp_option options[] =
{ "utf8", '8', 0, 0, "enable UTF-8 characters in output", 0 }, { "utf8", '8', 0, 0, "enable UTF-8 characters in output", 0 },
/**************************************************/ /**************************************************/
{ 0, 0, 0, 0, "Miscellaneous options:", -1 }, { 0, 0, 0, 0, "Miscellaneous options:", -1 },
{ "extra-options", 'x', "OPTS", 0,
"fine-tuning options (see spot-x (7))", 0 },
{ 0, 0, 0, 0, 0, 0 } { 0, 0, 0, 0, 0, 0 }
}; };
@ -94,6 +97,7 @@ ta_types ta_type = TGTA;
bool utf8 = false; bool utf8 = false;
const char* stats = ""; const char* stats = "";
spot::option_map extra_options;
bool opt_with_artificial_initial_state = true; bool opt_with_artificial_initial_state = true;
bool opt_single_pass_emptiness_check = false; bool opt_single_pass_emptiness_check = false;
bool opt_with_artificial_livelock = false; bool opt_with_artificial_livelock = false;
@ -110,6 +114,13 @@ parse_opt(int key, char* arg, struct argp_state*)
case 'B': case 'B':
type = spot::postprocessor::BA; type = spot::postprocessor::BA;
break; break;
case 'x':
{
const char* opt = extra_options.parse_options(arg);
if (opt)
error(2, 0, "failed to parse --options near '%s'", opt);
}
break;
case OPT_TGTA: case OPT_TGTA:
ta_type = TGTA; ta_type = TGTA;
type = spot::postprocessor::TGBA; type = spot::postprocessor::TGBA;
@ -255,7 +266,7 @@ main(int argc, char** argv)
spot::ltl::ltl_simplifier simpl(simplifier_options()); spot::ltl::ltl_simplifier simpl(simplifier_options());
spot::postprocessor postproc; spot::postprocessor postproc(&extra_options);
postproc.set_pref(pref); postproc.set_pref(pref);
postproc.set_type(type); postproc.set_type(type);
postproc.set_level(level); postproc.set_level(level);

2
src/bin/man/ltl2tgta.x
View file

@ -2,3 +2,5 @@
ltl2tgta \- translate LTL/PSL formulas into Testing Automata ltl2tgta \- translate LTL/PSL formulas into Testing Automata
[DESCRIPTION] [DESCRIPTION]
.\" Add any additional description here .\" Add any additional description here
[SEE ALSO]
.BR spot-x (7)

1
src/bin/man/spot-x.x
View file

@ -8,3 +8,4 @@ spot-x \- Common fine-tuning options.
.\" Add any additional description here .\" Add any additional description here
[SEE ALSO] [SEE ALSO]
.BR ltl2tgba (1) .BR ltl2tgba (1)
.BR ltl2tgta (1)