rename HOA scripts to TDGRA for transition-based generalized-Rabin output

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10272 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/etc/scripts/hoa/hoa-ltl3dra-tgdra-for-prism → prism/etc/scripts/hoa/hoa-ltl3dra-tdgra-for-prism

@@ -1,8 +1,8 @@
 #! /bin/bash
 
-# Interface wrapper for calling ltl3dra (transition-based DRA)
+# Interface wrapper for calling ltl3dra (transition-based DGRA)
 # Invoke from PRISM with
-#  -ltl2datool hoa-ltl3dra-tgdra-for-prism -ltl2dasyntax spin
+#  -ltl2datool hoa-ltl3dra-tdgra-for-prism -ltl2dasyntax spin
 #
 # Expects the ltl3dra on the PATH, otherwise
 # specify its location using
@@ -26,5 +26,5 @@ if [ ! -z "$BUDDY_LIB" ]; then
     fi
 fi
 
-# -H2 = output deterministic transition-based Rabin in HOA format
+# -H2 = output deterministic transition-based generalized-Rabin in HOA format
 $LTL3DRA_BIN  -H2 -F "$1" > "$2"

prism/etc/scripts/hoa/hoa-rabinizer3-tgdra-for-prism → prism/etc/scripts/hoa/hoa-rabinizer3-tdgra-for-prism

@@ -2,7 +2,7 @@
 
 # Interface wrapper for calling Rabinizer3 (transition-based DGRA)
 # Invoke from PRISM with
-#  -ltl2datool hoa-rabinizer3-tgdra-for-prism -ltl2dasyntax rabinizer
+#  -ltl2datool hoa-rabinizer3-tdgra-for-prism -ltl2dasyntax rabinizer
 #
 # Expects the rabinizer.jar file of Rabinizer3 in the current directory, otherwise
 # specify its location using