[Eva] Partition: removes unused functions.

src/plugins/value/engine/partition.ml

@@ -128,8 +128,6 @@ let map_filter (f : key -> 'a -> 'b option) (p : 'a partition) : 'b partition =
 
 (* --- Partitioning actions --- *)
 
-type 'a transfer_function = (key * 'a) list -> (key * 'a) list
-
 type unroll_limit =
   | ExpLimit of Cil_types.exp
   | IntLimit of int
@@ -336,9 +334,6 @@ struct
   let map_keys (f : key -> state -> key) (p : t) : t =
     List.map (fun (k,x) -> f k x, x) p
 
-  let transfer (f : state transfer_function)  (p : t) : t =
-    f p
-
   let transfer_keys p = function
     | Static_split (exp,monitor) ->
       split ~monitor ~static:true p exp

src/plugins/value/engine/partition.mli

@@ -102,8 +102,6 @@ val map_filter : (key -> 'a -> 'b option) -> 'a partition -> 'b partition
 
 (* Partitioning actions *)
 
-type 'a transfer_function = (key * 'a) list -> (key * 'a) list
-
 type unroll_limit =
   | ExpLimit of Cil_types.exp
   | IntLimit of int
@@ -143,7 +141,6 @@ sig
 
   val union : t -> t -> t
 
-  val transfer : state transfer_function -> t -> t
   val transfer_keys : t -> action -> t
   val transfer_states : (state -> state list) -> t -> t
   val legacy_transfer_states : (state list -> state list) -> t -> t