Project

General

Profile

Revision 365d1b07 src/causality.ml

View differences:

src/causality.ml
28 28
exception Error of error
29 29

  
30 30

  
31
module IdentDepGraph = Graph.Imperative.Digraph.ConcreteBidirectional (IdentModule)
32
module TopologicalDepGraph = Topological.Make(IdentDepGraph)
33

  
34
(*module DotGraph = Graphviz.Dot (IdentDepGraph)*)
35
module Bfs = Traverse.Bfs (IdentDepGraph)
36 31
  
37 32
(* Dependency of mem variables on mem variables is cut off 
38 33
   by duplication of some mem vars into local node vars.

Also available in: Unified diff