From cc0e9a5e1e8092d34e7fb37579e218b4da0e15f6 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 6 Apr 2017 14:30:40 +0200
Subject: [PATCH] bin: add shorthands for ltl2dpa ltl2da and ltl2ldba

* bin/common_trans.cc: Here.
* doc/org/ltlcross.org, doc/org/ltldo.org, NEWS: Adjust.
---
 NEWS                 | 3 +++
 bin/common_trans.cc  | 3 +++
 doc/org/ltlcross.org | 3 +++
 doc/org/ltldo.org    | 3 +++
 4 files changed, 12 insertions(+)

diff --git a/NEWS b/NEWS
index 1ed6d66b5..9e3123790 100644
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,9 @@ New in spot 2.3.2.dev (not yet released)
 
   Tools:
 
+  - ltldo and ltlcross learned shorthands to talk to ltl2da, ltl2dpa,
+    and ltl2ldba (from Owl) without needing to specify %f>%O.
+
   - In autfilt, the options --sum(--sum-or) and --sum-and are
     implemented.
 
diff --git a/bin/common_trans.cc b/bin/common_trans.cc
index e351ef3ce..73ebad376 100644
--- a/bin/common_trans.cc
+++ b/bin/common_trans.cc
@@ -43,6 +43,9 @@ static struct shorthands_t
   shorthands[] = {
     { "lbt", " <%L>%O" },
     { "ltl2ba", " -f %s>%O" },
+    { "ltl2da", " %f>%O" },
+    { "ltl2dpa", " %f>%O" },
+    { "ltl2ldba", " %f>%O" },
     { "ltl2dstar", " --output-format=hoa %[MW]L %O"},
     { "ltl2tgba", " -H %f>%O" },
     { "ltl3ba", " -f %s>%O" },
diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org
index 3afde30e9..64c98e0a5 100644
--- a/doc/org/ltlcross.org
+++ b/doc/org/ltlcross.org
@@ -182,6 +182,9 @@ the following words, then the string on the right is appended.
 
   lbt          <%L>%O
   ltl2ba       -f %s>%O
+  ltl2da       %f>%O
+  ltl2dpa      %f>%O
+  ltl2ldba     %f>%O
   ltl2dstar    --output-format=hoa %[MW]L %O
   ltl2tgba     -H %f>%O
   ltl3ba       -f %s>%O
diff --git a/doc/org/ltldo.org b/doc/org/ltldo.org
index bd932deeb..1c20622ab 100644
--- a/doc/org/ltldo.org
+++ b/doc/org/ltldo.org
@@ -309,6 +309,9 @@ the following words, then the string on the right is appended.
 
   lbt          <%L>%O
   ltl2ba       -f %s>%O
+  ltl2da       %f>%O
+  ltl2dpa      %f>%O
+  ltl2ldba     %f>%O
   ltl2dstar    --output-format=hoa %[MW]L %O
   ltl2tgba     -H %f>%O
   ltl3ba       -f %s>%O