Commit c5ecd09f authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

bin: Update default options of ltl3dra

* src/bin/common_trans.cc: Update to expect HOA by default.
* doc/org/ltlcross.org, doc/org/ltldo.org: Adjust.
parent 961d005b
......@@ -150,7 +150,7 @@ tools:
- '=java -jar Rabinizer.jar -ltl2dstar %F %D; mv %D.dst %D=' (Rabinizer
uses the last =%D= argument as a prefix to which it always append =.dst=,
so we have to rename =%D.dst= as =%D= so that =ltlcross= can find the file)
- '=ltl3dra -f %s >%D='
- '=ltl3dra -f %s >%O='
To simplify the use of some of the above tools, a set of predefined
shorthands are available. Those can be listed with the
......@@ -169,7 +169,7 @@ the following words, then the string on the right is appended.
ltl2dstar %L %D
ltl2tgba -H %f>%O
ltl3ba -f %s>%O
ltl3dra -f %f>%D
ltl3dra -f %f>%O
modella %L %O
spin -f %s>%O
#+end_example
......
......@@ -305,7 +305,7 @@ the following words, then the string on the right is appended.
ltl2dstar %L %D
ltl2tgba -H %f>%O
ltl3ba -f %s>%O
ltl3dra -f %f>%D
ltl3dra -f %f>%O
modella %L %O
spin -f %s>%O
#+end_example
......
......@@ -44,7 +44,7 @@ static struct shorthands_t
{ "ltl2dstar", " %L %D"},
{ "ltl2tgba", " -H %f>%O" },
{ "ltl3ba", " -f %s>%O" },
{ "ltl3dra", " -f %f>%D" },
{ "ltl3dra", " -f %f>%O" },
{ "modella", " %L %O" },
{ "spin", " -f %s>%O" },
};
......
Markdown is supported
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