Project

General

Profile

« Previous | Next » 

Revision 333e3a25

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

[general] Refactor get_node_eqs to produce (eqs, auts) with automatons

View differences:

src/types.ml
355 355 
let mktyptuple nb typ =
356 356 
  let array = Array.make nb typ in
357 357 
  Ttuple (Array.to_list array)
358
358 359 

  		




  359
  360
  
    

  		




  360
  361
  
    
(* Local Variables: *)


  		












Also available in:  Unified diff