prototype(ldfi v2): add the first conjunction of ldfi

platonic-io · Feb 9, 2021 · 07bdeed · 07bdeed
1 parent dd421f6
commit 07bdeed
Showing 1 changed file with 9 additions and 1 deletion.
diff --git 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 ()