Project

General

Profile

« Previous | Next » 

Revision 9c654082

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

[lustresf] work in progress. Added global env with initial values

View differences:

src/tools/stateflow/semantics/cPS.ml
8 8 

  		




  9
  9
  
    
module Prog =


  		




  10
  10
  
    
struct


  		




  11
  
  
    
  let init, defs, state_vars =


  		




  
  11
  
    
  let init, defs, state_vars, globals =


  		




  12
  12
  
    
    let Program (init, defs, globals) = M.model in


  		




  13
  13
  
    
    let state_vars = SF.states M.model in


  		




  14
  
  
    
    init, defs, state_vars


  		




  
  14
  
    
    init, defs, state_vars, globals


  		




  15
  15
  
    

  		




  16
  16
  
    
(*let _ = Format.printf "Model definitions@.%a@.####" Simulink.pp_src defs; () *)


  		




  17
  17
  
    
end


  		












Also available in:  Unified diff