From af3f62c1c8f38b80a5eae7e0002f7ebd2b43245d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 20 May 2018 17:22:58 +0200
Subject: [PATCH] ltlcross, ltldo, autcross: add support for Rabinizer 4 tools

* bin/common_trans.cc: Here.
* NEWS: Mention that.
---
 NEWS                | 3 +++
 bin/common_trans.cc | 4 ++++
 2 files changed, 7 insertions(+)

diff --git a/NEWS b/NEWS
index e5ec1d5c5..4af447368 100644
--- a/NEWS
+++ b/NEWS
@@ -8,6 +8,9 @@ New in spot 2.5.3.dev  (not yet released)
   - autfilt learned --is-colored to filter automata that use
     exactly one acceptance set per mark or transition.
 
+  - ltlcross, ltldo, and autcross learned shorthands to call
+    delag, ltl2dra, ltl2dgra, and nba2dpa.
+
   Library:
 
   - Option "a" of print_dot(), for printing the acceptance condition,
diff --git a/bin/common_trans.cc b/bin/common_trans.cc
index f9ce9879a..dfd5ab2b9 100644
--- a/bin/common_trans.cc
+++ b/bin/common_trans.cc
@@ -44,10 +44,13 @@ struct shorthands_t
   const char* suffix;
 };
 static shorthands_t shorthands_ltl[] = {
+    { "delag", " %f>%O" },
     { "lbt", " <%L>%O" },
     { "ltl2ba", " -f %s>%O" },
     { "ltl2da", " %f>%O" },
+    { "ltl2dgra", " %f>%O" },
     { "ltl2dpa", " %f>%O" },
+    { "ltl2dra", " %f>%O" },
     { "ltl2ldba", " %f>%O" },
     { "ltl2dstar", " --output-format=hoa %[MW]L %O"},
     { "ltl2tgba", " -H %f>%O" },
@@ -64,6 +67,7 @@ static shorthands_t shorthands_autproc[] = {
     { "autfilt", " %H>%O" },
     { "dstar2tgba", " %H>%O" },
     { "ltl2dstar", " -B %H %O" },
+    { "nba2dpa", " <%H>%O" },
     { "nba2ldpa", " <%H>%O" },
     { "seminator", " %H>%O" },
   };