From 966e1556e7fde749bcdbe9bd0f57ee55b2e9e366 Mon Sep 17 00:00:00 2001
From: Kristin Braun <kristin.braun@fau.de>
Date: Mon, 27 Mar 2017 20:42:35 +0200
Subject: [PATCH] nom2EA function compiles
---
src/lib/EAFormula.ml | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/src/lib/EAFormula.ml b/src/lib/EAFormula.ml
index 5db6675..fb1188c 100644
--- a/src/lib/EAFormula.ml
+++ b/src/lib/EAFormula.ml
@@ -68,10 +68,10 @@ let rec exportFormula_buffer sb f =
Buffer.add_string sb "0";
prio 4 f1
| E f1 ->
- Buffer.add_string sb "E";
+ Buffer.add_string sb "E ";
prio 4 f1
| A f1 ->
- Buffer.add_string sb "A";
+ Buffer.add_string sb "A ";
prio 4 f1
let exportFormula f =
@@ -79,6 +79,10 @@ let exportFormula f =
exportFormula_buffer sb f;
Buffer.contents sb
-let nom2EA f = FALSE
+let rec nom2EA f = match f with
+ | CoAlgFormula.FALSE -> FALSE
+ | CoAlgFormula.AP a -> AP a
+ | CoAlgFormula.AND (a, b) -> E (AND (nom2EA a, nom2EA b))
+ | _ -> TRUE
(* vim: set et sw=2 sts=2 ts=8 : *)
--
GitLab