Skip to content

Commit 9d0aad7

Browse files
committed
new module Merge
1 parent 26dd152 commit 9d0aad7

File tree

17 files changed

+384
-28
lines changed

17 files changed

+384
-28
lines changed

CHANGES

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
11

2+
o new module Merge implementing several different of merges of vertices and
3+
edges into a graph (contributed by Emmanuel Haucourt)
24
o fixed DOT parser (contributed by Alex Reece)
35
o Topological: fixed bug in presence of disjoint cycles; new implementation
46
o new module [Graphml] to export graphs into the graphml format

Makefile.in

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@ CMO = version util blocks persistent imperative \
7272
components path nonnegative traverse coloring topological kruskal flow \
7373
dominator graphviz gml dot_parser dot_lexer dot pack \
7474
gmap minsep cliquetree mcs_m md strat fixpoint leaderlist contraction \
75-
graphml
75+
graphml merge
7676
CMO := $(LIB) $(patsubst %, $(SRCDIR)/%.cmo, $(CMO))
7777

7878
CMX = $(CMO:.cmo=.cmx)

src/builder.ml

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@
1515
(* *)
1616
(**************************************************************************)
1717

18-
(* $Id: builder.ml,v 1.12 2004-02-20 14:37:40 signoles Exp $ *)
19-
2018
open Sig
2119

2220
module type S = sig
@@ -56,3 +54,9 @@ module I(G : Sig.I) = struct
5654
let remove_edge g v1 v2 = G.remove_edge g v1 v2; g
5755
let remove_edge_e g e = G.remove_edge_e g e; g
5856
end
57+
58+
(*
59+
Local Variables:
60+
compile-command: "make -C .."
61+
End:
62+
*)

src/builder.mli

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@
1515
(* *)
1616
(**************************************************************************)
1717

18-
(* $Id: builder.mli,v 1.13 2004-02-20 14:37:40 signoles Exp $ *)
19-
2018
(** Graph builders in order to persistent/imperative graphs sharing a same
2119
signature. *)
2220

@@ -49,3 +47,9 @@ module P(G : Sig.P) : S with module G = G
4947

5048
module I(G : Sig.I) : S with module G = G
5149
(** Imperative Graphs Builders. *)
50+
51+
(*
52+
Local Variables:
53+
compile-command: "make -C .."
54+
End:
55+
*)

src/cliquetree.ml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@
1515
(* *)
1616
(**************************************************************************)
1717

18-
(*i $Id: cliquetree.ml,v 1.6 2005-11-02 13:43:35 filliatr Exp $ i*)
19-
2018
module CliqueTree(Gr : Sig.G) = struct
2119

2220
(* Original vertex set (of Gr) *)

src/cliquetree.mli

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@
1515
(* *)
1616
(**************************************************************************)
1717

18-
(*i $Id: cliquetree.mli,v 1.4 2004-10-19 15:22:47 signoles Exp $ i*)
19-
2018
(** Construction of the clique tree of a graph and recognition
2119
of chordal graphs.
2220

src/gmap.ml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@
1515
(* *)
1616
(**************************************************************************)
1717

18-
(* $Id: gmap.ml,v 1.1 2004-10-20 09:59:56 signoles Exp $ *)
19-
2018
(** {2 Mapping of vertices} *)
2119

2220
module type V_SRC = sig

src/gmap.mli

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@
1515
(* *)
1616
(**************************************************************************)
1717

18-
(* $Id: gmap.mli,v 1.1 2004-10-20 09:59:56 signoles Exp $ *)
19-
2018
(** Graph mapping. Map a graph to another one. *)
2119

2220
(** {2 Mapping of vertices} *)

src/md.ml

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,6 @@
1414
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *)
1515
(* *)
1616
(**************************************************************************)
17-
18-
(* $Id: md.ml,v 1.6 2004-10-22 14:42:06 signoles Exp $ *)
19-
2017

2118
module P(G : Sig.P) = struct
2219

src/md.mli

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@
1515
(* *)
1616
(**************************************************************************)
1717

18-
(* $Id: md.mli,v 1.2 2004-06-28 13:48:25 signoles Exp $ *)
19-
2018
(** Minimum Degree algorithm
2119
2220
Based on the article:

0 commit comments

Comments
 (0)