From 3b40743880b4b4ffa666ef197d87f2744b56735d Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Tue, 1 Dec 2015 15:14:26 +0100
Subject: [PATCH] Add MuF / NuF datatypes to reasoner

---
 src/lib/CoAlgMisc.ml  | 2 ++
 src/lib/CoAlgMisc.mli | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/src/lib/CoAlgMisc.ml b/src/lib/CoAlgMisc.ml
index 00174a7..4ed6e88 100644
--- a/src/lib/CoAlgMisc.ml
+++ b/src/lib/CoAlgMisc.ml
@@ -165,6 +165,8 @@ type formulaType =
   | NormnF (* negation normal form of default implication *)
   | ChcF (* Choice *)
   | FusF (* Fusion *)
+  | MuF
+  | NuF
 
 type localFormula = int
 type bset = S.bitset
diff --git a/src/lib/CoAlgMisc.mli b/src/lib/CoAlgMisc.mli
index b248c18..0cb2b18 100644
--- a/src/lib/CoAlgMisc.mli
+++ b/src/lib/CoAlgMisc.mli
@@ -52,6 +52,8 @@ type formulaType =
   | NormnF (* negation normal form of default implication *)
   | ChcF
   | FusF
+  | MuF
+  | NuF
 
 type localFormula
 type bset
-- 
GitLab