Project

General

Profile

« Previous | Next » 

Revision 5de4dde4

Added by Pierre-Loïc Garoche over 3 years ago

Major refreshing of machine generation

View differences:

src/utils/utils.ml
32 32 
  let equal n1 n2 = n1 = n2
33 33 
end
34 34 

  		




  35
  
  
    
module IMap = Map.Make(IdentModule)


  		




  36
  
  
    
    


  		




  
  35
  
    
module IMap =


  		




  
  36
  
    
  struct


  		




  
  37
  
    
    include Map.Make(IdentModule)


  		




  
  38
  
    
    let elements m =  fold (fun i n res -> (i, n)::res) m [] 


  		




  
  39
  
    
  end


  		




  
  40
  
    
  


  		




  37
  41
  
    
module ISet = Set.Make(IdentModule)


  		




  38
  42
  
    
module IdentDepGraph = Imperative.Digraph.ConcreteBidirectional (IdentModule)


  		




  39
  43
  
    
module TopologicalDepGraph = Topological.Make(IdentDepGraph)


  		












Also available in:  Unified diff