Project

General

Profile

Revision 365d1b07 src/sortProg.ml

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