From 15e273f90f453c44c667328f5873681d1fc31988 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Wed, 29 Jan 2014 03:27:34 +0100
Subject: [PATCH] Improve and fixup cool2tatl.sh
---
cool2tatl/cool2tatl.sh | 15 ++++++++++-----
1 file changed, 10 insertions(+), 5 deletions(-)
diff --git a/cool2tatl/cool2tatl.sh b/cool2tatl/cool2tatl.sh
index 0c1ec62..7c0c36c 100755
--- a/cool2tatl/cool2tatl.sh
+++ b/cool2tatl/cool2tatl.sh
@@ -1,17 +1,22 @@
#!/bin/bash
+agentcnt="${1:-4}"
+aglist="$(seq 1 $agentcnt|tr '\n' ,)"
+aglist=${aglist%%,}
+
cat \
| sed 's:True:(p \\/ ~p):g' \
| sed 's:False:(p /\\ ~p):g' \
| sed 's:\&:/\\:g' \
| sed 's:=>:->:g' \
| sed 's:|:\\/:g' \
- | sed 's:<{[ ]*:<<:g' \
- | sed 's:[ ]*}>:>>:g' \
- | sed 's:\[{[ ]*:~<<:g' \
- | sed 's:[ ]*}\]:>>~:g' \
+ | sed 's:\[{[ ]*:<<:g' \
+ | sed 's:[ ]*}\]:>>X :g' \
+ | sed 's:<{[ ]*:~<<:g' \
+ | sed 's:[ ]*}>:>>X ~:g' \
| sed -e :a -e 's:<<\([^ >]*\) [ ]*:<<\1,:g;ta' \
- | cat
+ | sed 's,^,(,' \
+ | sed 's:$:) /\\ <<'"$aglist"'>>X(p \\/ ~p):'
# Top -> tatlFm $ Dis p (Neg p)
--
GitLab