CristalCaveGem » LustreC

  let eq = Corelang.mkeq Location.dummy_loc ([y.var_id], expr) in

  match expr.expr_desc with

  | Expr_ite   (c, t, e) -> let g = translate_guard node args c in

                              [translate_act node args (y, t)]

                              [translate_act node args (y, e)]

                                     List.map (fun (t,  h) -> t, [translate_act node args (y, h)]) hl))

let reset_instance node args i r c =

  match r with

      mkinstr (MReset o) :: si,

      Utils.IMap.add o (arrow_top_decl, []) j,

      d,

  | [x], Expr_pre e1 when ISet.mem (get_node_var x node) d     ->

     let var_x = get_node_var x node in

     (ISet.add var_x m,

      si,

      j,

      d,

  | [x], Expr_fby (e1, e2) when ISet.mem (get_node_var x node) d ->

     let var_x = get_node_var x node in

     (ISet.add var_x m,

      j,

      d,

  | p  , Expr_appl (f, arg, r) when not (Basic_library.is_expr_internal_fun eq.eq_rhs) ->

     let var_p = List.map (fun v -> get_node_var v node) p in

      (if Stateless.check_node node_f

       then []

       else reset_instance node args o r call_ck) @

  (*

    (* special treatment depending on the active backend. For horn backend, x = ite (g,t,e)

    are preserved. While they are replaced as if g then x = t else x = e in  C or Java