From 1b4db518d548fa9f4d32a37023d9194766a20cb5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 5 Apr 2019 23:21:30 +0200
Subject: [PATCH] [Eva] Partition: removes unused functions.
---
src/plugins/value/engine/partition.ml | 5 -----
src/plugins/value/engine/partition.mli | 3 ---
2 files changed, 8 deletions(-)
diff --git a/src/plugins/value/engine/partition.ml b/src/plugins/value/engine/partition.ml
index 6c5c152d4d3..869e39eba5e 100644
--- a/src/plugins/value/engine/partition.ml
+++ b/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
diff --git a/src/plugins/value/engine/partition.mli b/src/plugins/value/engine/partition.mli
index 7c8ed9e5a81..0845015461a 100644
--- a/src/plugins/value/engine/partition.mli
+++ b/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
--
GitLab