Commits

Paweł Wieczorek committed bb932a0

removed embedded type lattice

  • Participants
  • Parent commits d983258

Comments (0)

Files changed (1)

src/Lib/Algebra/Algebra_Lattice.ml

 
 module DualLattice (L:Lattice) = struct
 
-    type t = L.t
+    type t    = L.t
 
-    let join = L.meet
+    let join  = L.meet
 
-    let meet = L.join
+    let meet  = L.join
 
-    let top = L.bot
+    let top   = L.bot
 
-    let bot = L.top
+    let bot   = L.top
    
     let equal = L.equal
 
         List.fold_left f' data xs 
 end
 
-
-(*************************************************************************************************
- * The embeded type lattice
- ************************************************************************************************)
-
-
-module EmbededTypeLattice (T : Set.OrderedType ) = struct
-
-    (* TODO: change OrderedType to EqType *)
-    module Raw = struct
-
-        type t
-            = Top
-            | Embed of T.t
-            | Bot
-
-        let join a b = match a,b with
-            | Top, _ -> Top
-            | _, Top -> Top
-            | Bot, b -> b
-            | a, Bot -> a
-            | _      -> Bot
-
-        let meet a b = match a,b with
-            | Bot, _ -> Bot
-            | _, Bot -> Bot
-            | Top, b -> b
-            | a, Top -> a
-            | _      -> Bot
-
-        let top = Top
-
-        let bot = Bot
-
-        let unhask = function
-            | Embed t -> Some t
-            | _       -> None
-
-        let embed t = Embed t
-            
-
-        let equal a b = match a,b with
-            | Top, Top -> true
-            | Bot, Bot -> true
-            | Embed a, Embed b -> T.compare a b == 0
-            | _ -> false
-
-    end
-
-    include Raw
-
-end
-
 (*************************************************************************************************
  * The option (lifted) lattice
  ************************************************************************************************)
 
-
 module OptionLattice (L : Lattice) = struct
 
     module Raw = struct
  * The Set lattice
  ************************************************************************************************)
 
-
-module SetLattice (V : Set.OrderedType) = struct
+module SetLattice (V : Interfaces.OrderedType) = struct
 
     module Raw = struct