-
Notifications
You must be signed in to change notification settings - Fork 125
/
topologicSort.mli
100 lines (79 loc) · 2.48 KB
/
topologicSort.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
(*
Copyright © 2011 MLstate
This file is part of OPA.
OPA is free software: you can redistribute it and/or modify it under the
terms of the GNU Affero General Public License, version 3, as published by
the Free Software Foundation.
OPA is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
more details.
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
(**
Stable Topologic Sort, based on string indexation.
@author Mathieu Barbin
*)
(** {6 Argument} *)
(** A module for manipulating nodes of your graph *)
module type ItemType =
sig
(** The type of a node of your graph. *)
type t
(**
Indexing nodes of your graph.
The function [index] should be injective.
*)
val index : t -> string
(**
Given a node of the graph, return the list of index
of the direct parents.
*)
val depends : t -> string list
end
(** {6 Functor} *)
(** The module you'll get for proceding to the topologic sort *)
module type S =
sig
(**
The type of the nodes. This is the same type as
defined in the module in argument of [Make].
*)
type t
(**
raised if one of the [t] is in a cyclic dependency loop.
*)
exception CyclicDep of t
(**
raised if 2 [t] of the input list of [sort] have
the same index.
*)
exception IndexConflict of t * t
(**
raised by computing the transitive_dependencies, in case
the given [t] in not previously in the list given for
computing the env
*)
exception Not_found_index of string
(**
Stable topologic sort.
The function return a sorted list wrt a topologic order of elements of [t].
The second elt returned is the list of [not_referenced] nodes.
For each non referenced node [index] (we have only the index), we give the list
of [nodes] which have declared index as a depends.
*)
val sort : t list -> t list * (string * t list) list
type env
val compute : t list -> env
(**
Like sort, in case you do not want to recompute everything
e.g. from a previous env.
*)
val get_order : env -> t list * (string * t list) list
(**
Not reflexive.
*)
val transitive_dependencies : env -> t -> t list
end
module Make : functor (Elemt : ItemType) -> S with type t = Elemt.t