Commit 13798ca4 authored by Bruno Guillaume's avatar Bruno Guillaume

remove dead-code G_graph.rename

parent 272a49e6
...@@ -238,16 +238,6 @@ module G_graph = struct ...@@ -238,16 +238,6 @@ module G_graph = struct
let empty = {meta=[]; map=Gid_map.empty; fusion=[]; highest_index=0; } let empty = {meta=[]; map=Gid_map.empty; fusion=[]; highest_index=0; }
(* ---------------------------------------------------------------------- *)
let rename mapping graph =
{graph with map =
Gid_map.fold
(fun id node acc ->
let new_id = try List.assoc id mapping with Not_found -> id in
let new_node = G_node.rename mapping node in
Gid_map.add new_id new_node acc
) graph.map Gid_map.empty
}
let get_highest g = g.highest_index let get_highest g = g.highest_index
......
...@@ -115,9 +115,6 @@ module G_graph: sig ...@@ -115,9 +115,6 @@ module G_graph: sig
(* Update functions *) (* Update functions *)
(* ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ *) (* ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ *)
val rename: (Gid.t * Gid.t) list -> t -> t
(** [add_edge graph id_src label id_tar] tries to add an edge grom [id_src] to [id_tar] with [label] to [graph]. (** [add_edge graph id_src label id_tar] tries to add an edge grom [id_src] to [id_tar] with [label] to [graph].
if it succeeds, [Some new_graph] is returned if it succeeds, [Some new_graph] is returned
if it fails (the edge already exists), [None] is returned if it fails (the edge already exists), [None] is returned
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment