From 06bd20987fd4e75e59e8fbb89a75fad60bd1d768 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Thu, 30 Jan 2014 17:05:45 +0100
Subject: [PATCH] Fix genericGML

---
 coalgcompare.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/coalgcompare.ml b/coalgcompare.ml
index b05055c..b182e92 100644
--- a/coalgcompare.ml
+++ b/coalgcompare.ml
@@ -112,6 +112,10 @@ let rec exportALCFormula f =
   | C.IMP (f1, f2) -> A.IMP (exportALCFormula f1, exportALCFormula f2)
   | C.EX (s, f1) -> A.EX (s, false, exportALCFormula f1)
   | C.AX (s, f1) -> A.AX (s, false, exportALCFormula f1)
+  | C.MIN (n, s, f1) -> A.MIN (n, s, false, exportALCFormula f1)
+  | C.MAX (n, s, f1) -> A.MAX (n, s, false, exportALCFormula f1)
+  | C.MORETHAN (n, s, f1) -> A.MIN (n+1, s, false, exportALCFormula f1)
+  | C.MAXEXCEPT (n, s, f1) -> A.MAX (n, s, false, exportALCFormula (C.NOT f1))
   | _ -> raise (C.CoAlgException "Formula is not expressible in ALC.")
 
 let exportALCQuery tbox (_, f) =
@@ -227,7 +231,7 @@ let doTestK (tboxsizes:int list) (szlist:int list) : testresults =
   runTests solvs formulas timeout
 
 let doTestGenericGML () : testresults =
-  let solvs = [(solvFact, "fact"); (solvCool "K", "cool")] in
+  let solvs = [(solvFact, "fact"); (solvCool "GML", "cool")] in
   let timeout = !ptimeout in (* 5 minutes *)
   let formulas = ref [] in
   let counter = ref 0 in
-- 
GitLab