CristalCaveGem » LustreC

  (* Step instructions *)

  s : instr_t list;

  (* Memory pack spec *)

  (* Transition spec *)

  t :

    (var_decl list

  let outputs_pi = Lustre_live.inter_live_i_with id (i - 1) outputs in

  let locals_i = Lustre_live.inter_live_i_with id i locals in

  let outputs_i = Lustre_live.inter_live_i_with id i outputs in

  let pred_t ctx a =

    ( inputs @ locals_i @ outputs_i,

      ctx.m,

        {

          inst with

          instr_spec =

            else [ mk_memory_pack ~i id ])

            @ [

                mk_transition

    let ctx =

      ctl

        (MStep ([ var_x ], inst, [ c1; c2 ]))

        (mk_transition ~inst false (node_name td) [ vdecl_to_val var_x ])

        { ctx with j = IMap.add inst (td, []) ctx.j }

    in

    let e = translate_expr e in

    ctl

      (MStateAssign (var_x, e))

      (mk_state_assign_tr var_x e)

      { ctx with m = ISet.add x ctx.m }

  | [ x ], Expr_fby (e1, e2) when env.is_local x ->

    let ctx =

      ctl

        (MStateAssign (var_x, e2))

        (mk_state_assign_tr var_x e2)

        { ctx with m = ISet.add x ctx.m }

    in

    let stateless = Stateless.check_node node_f in

    let inst = if stateless then None else Some i in

    let mp =

    in

    let ctx =

      ctl

    try

      let var_x = env.get_var x in

      let instr, spec = translate_act (var_x, eq.eq_rhs) in

    with Not_found ->

      Format.eprintf "ERROR: node %s, eq %a@." id Printers.pp_node_eq eq;

      raise Not_found)

  (* Build the machine *)

  let mmap = IMap.bindings ctx.j in

  let mmemory_packs =

    memory_pack_0 nd

         (List.rev ctx.mp)

  in

  let mtransitions =

    transition_0 nd