From 07bdeed77b20c6afcd838ea4d75e176da880d51d Mon Sep 17 00:00:00 2001
From: Stevan Andjelkovic <stevan.andjelkovic@symbiont.io>
Date: Tue, 9 Feb 2021 12:06:36 +0100
Subject: [PATCH] prototype(ldfi v2): add the first conjunction of ldfi

---
 src/ldfi2/Main.hs | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/ldfi2/Main.hs b/src/ldfi2/Main.hs
index 5eb6c61d..ff6e98bc 100644
--- a/src/ldfi2/Main.hs
+++ b/src/ldfi2/Main.hs
@@ -34,10 +34,18 @@ data Formula
   | Neg Formula
   | TT
   | FF
+  | Var String
   deriving Show
 
+intersections :: (Foldable f, Ord a) => f (Set a) -> Set a
+intersections = foldl1 Set.intersection
+
 ldfi :: [Trace] -> Formula
-ldfi [] = FF
+ldfi ts =
+  let
+    ns = map nodes ts
+  in
+    And (map Var (Set.toList (intersections ns)))
 
 main :: IO ()
 main = return ()