Revision 365d1b07
Added by Pierre-Loïc Garoche almost 6 years ago
| src/utils.ml | ||
|---|---|---|
| 35 | 35 |
module IMap = Map.Make(IdentModule) |
| 36 | 36 |
|
| 37 | 37 |
module ISet = Set.Make(IdentModule) |
| 38 |
module IdentDepGraph = Graph.Imperative.Digraph.ConcreteBidirectional (IdentModule) |
|
| 39 |
module TopologicalDepGraph = Topological.Make(IdentDepGraph) |
|
| 38 | 40 |
|
| 41 |
(*module DotGraph = Graphviz.Dot (IdentDepGraph)*) |
|
| 42 |
module Bfs = Traverse.Bfs (IdentDepGraph) |
|
| 43 |
|
|
| 44 |
|
|
| 39 | 45 |
exception DeSome |
| 40 | 46 |
let desome x = match x with Some x -> x | None -> raise DeSome |
| 41 | 47 |
|
Also available in: Unified diff
Moved definition of graph modules from Causality to Utils to avoid cyclic deps