From a87192e8ad253b98eac5fa4ae2a7d71011f2603e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Mon, 16 Dec 2013 14:01:08 +0100
Subject: [PATCH] Temp
---
CoAlgLogics.ml | 10 ++++++++++
CoAlgMisc.ml | 1 +
CoAlgMisc.mli | 1 +
colorize.sh | 8 ++++++++
4 files changed, 20 insertions(+)
create mode 100755 colorize.sh
diff --git a/CoAlgLogics.ml b/CoAlgLogics.ml
index 27b8436..fd2e1ef 100644
--- a/CoAlgLogics.ml
+++ b/CoAlgLogics.ml
@@ -61,6 +61,15 @@ let mkRule_MultiModalK sort bs sl =
res := None;
AllInOne rules
+let mkRule_MultiModalKD sort bs sl =
+ let rules = bsetFold getRules bs [] in
+ let res = ref (Some rules) in
+ fun () ->
+ match !res with
+ | None -> NoMoreRules
+ | Some rules ->
+ res := None;
+ AllInOne rules
let mkRule_Choice sort bs sl =
assert (List.length sl = 2);
@@ -138,5 +147,6 @@ let mkRule_Fusion sort bs sl =
*)
let getExpandingFunctionProducer = function
| MultiModalK -> mkRule_MultiModalK
+ | MultiModalK -> mkRule_MultiModalKD
| Choice -> mkRule_Choice
| Fusion -> mkRule_Fusion
diff --git a/CoAlgMisc.ml b/CoAlgMisc.ml
index 8b5e301..d856373 100644
--- a/CoAlgMisc.ml
+++ b/CoAlgMisc.ml
@@ -66,6 +66,7 @@ module NHt = Hashtbl.Make(
(* This type must be extended for additional logics. *)
type functors =
| MultiModalK
+ | MultiModalKD
| Choice
| Fusion
diff --git a/CoAlgMisc.mli b/CoAlgMisc.mli
index 69dcb3d..b8343d0 100644
--- a/CoAlgMisc.mli
+++ b/CoAlgMisc.mli
@@ -11,6 +11,7 @@
(* This type has to be extended for additional logics. *)
type functors =
| MultiModalK
+ | MultiModalKD
| Choice
| Fusion
diff --git a/colorize.sh b/colorize.sh
new file mode 100755
index 0000000..6b073cc
--- /dev/null
+++ b/colorize.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+
+while read line ; do
+echo "$(tput bold)$(tput setaf 3)$line$(tput sgr0)"
+done
+
+
--
GitLab