diff options
| author | ppedrot | 2013-08-19 18:15:35 +0000 |
|---|---|---|
| committer | ppedrot | 2013-08-19 18:15:35 +0000 |
| commit | 09d7951e0c0009e4ac55091cede25b88576759d2 (patch) | |
| tree | f8ce90d11f81be0eef4ea5cbb558a023244fc55d /lib/dag.mli | |
| parent | 7447c21f64ca7cb85909a146b01d3cd82f05f633 (diff) | |
Modulification and removing of structural equality in VCS.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16704 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/dag.mli')
| -rw-r--r-- | lib/dag.mli | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/lib/dag.mli b/lib/dag.mli index 791d82db11..7332e20cf5 100644 --- a/lib/dag.mli +++ b/lib/dag.mli @@ -8,12 +8,17 @@ module type S = sig - type cluster_id - val string_of_cluster_id : cluster_id -> string + module Cluster : + sig + type t + val equal : t -> t -> bool + val compare : t -> t -> int + val to_string : t -> string + end type node type ('edge,'info) t - + val empty : ('e,'i) t val add_edge : ('e,'i) t -> node -> 'e -> node -> ('e,'i) t @@ -22,11 +27,11 @@ module type S = sig val mem : ('e,'i) t -> node -> bool val iter : ('e,'i) t -> - (node -> cluster_id option -> 'i option -> + (node -> Cluster.t option -> 'i option -> (node * 'e) list -> unit) -> unit val create_cluster : ('e,'i) t -> node list -> ('e,'i) t - val cluster_of : ('e,'i) t -> node -> cluster_id option + val cluster_of : ('e,'i) t -> node -> Cluster.t option val get_info : ('e,'i) t -> node -> 'i option val set_info : ('e,'i) t -> node -> 'i -> ('e,'i) t |