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/sortProg.ml
11 11 

  		




  12
  12
  
    
open Lustre_types


  		




  13
  13
  
    
open Corelang


  		




  14
  
  
    

  		




  
  14
  
    
open Utils


  		




  
  15
  
    
   


  		




  15
  16
  
    
let get_node nid prog =


  		




  16
  17
  
    
  List.find (fun t -> match t.top_decl_desc with Node n -> n.node_id = nid | _ -> false) prog


  		




  17
  18
  
    

  		




  ......




  27
  28
  
    
      Causality.CycleDetection.check_cycles g;


  		




  28
  29
  
    
    


  		




  29
  30
  
    
      (


  		




  30
  
  
    
	Causality.TopologicalDepGraph.fold 


  		




  
  31
  
    
	TopologicalDepGraph.fold 


  		




  31
  32
  
    
	  (fun x accu -> 


  		




  32
  33
  
    
	    try 


  		




  33
  34
  
    
	      (get_node x nodes)::accu


  		












Also available in:  Unified diff