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

ltlcross, ltldo, autcross: add support for Rabinizer 4 tools

Browse source 
* bin/common_trans.cc: Here.
* NEWS: Mention that.
This commit is contained in:
Alexandre Duret-Lutz 2018-05-20 17:22:58 +02:00
parent 2e90460b8a
commit af3f62c1c8
2 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -8,6 +8,9 @@ New in spot 2.5.3.dev (not yet released)
- autfilt learned --is-colored to filter automata that use - autfilt learned --is-colored to filter automata that use
exactly one acceptance set per mark or transition. exactly one acceptance set per mark or transition.
- ltlcross, ltldo, and autcross learned shorthands to call
delag, ltl2dra, ltl2dgra, and nba2dpa.
Library: Library:
- Option "a" of print_dot(), for printing the acceptance condition, - Option "a" of print_dot(), for printing the acceptance condition,

4
bin/common_trans.cc
View file

@ -44,10 +44,13 @@ struct shorthands_t
const char* suffix; const char* suffix;
}; };
static shorthands_t shorthands_ltl[] = { static shorthands_t shorthands_ltl[] = {
{ "delag", " %f>%O" },
{ "lbt", " <%L>%O" }, { "lbt", " <%L>%O" },
{ "ltl2ba", " -f %s>%O" }, { "ltl2ba", " -f %s>%O" },
{ "ltl2da", " %f>%O" }, { "ltl2da", " %f>%O" },
{ "ltl2dgra", " %f>%O" },
{ "ltl2dpa", " %f>%O" }, { "ltl2dpa", " %f>%O" },
{ "ltl2dra", " %f>%O" },
{ "ltl2ldba", " %f>%O" }, { "ltl2ldba", " %f>%O" },
{ "ltl2dstar", " --output-format=hoa %[MW]L %O"}, { "ltl2dstar", " --output-format=hoa %[MW]L %O"},
{ "ltl2tgba", " -H %f>%O" }, { "ltl2tgba", " -H %f>%O" },
@ -64,6 +67,7 @@ static shorthands_t shorthands_autproc[] = {
{ "autfilt", " %H>%O" }, { "autfilt", " %H>%O" },
{ "dstar2tgba", " %H>%O" }, { "dstar2tgba", " %H>%O" },
{ "ltl2dstar", " -B %H %O" }, { "ltl2dstar", " -B %H %O" },
{ "nba2dpa", " <%H>%O" },
{ "nba2ldpa", " <%H>%O" }, { "nba2ldpa", " <%H>%O" },
{ "seminator", " %H>%O" }, { "seminator", " %H>%O" },
}; };