Project

General

Profile

« Previous | Next » 

Revision 365d1b07

Added by Pierre-Loïc Garoche almost 6 years ago

Moved definition of graph modules from Causality to Utils to avoid cyclic deps

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