package lustre-v6

  1. Overview
  2. Docs
package lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type

Gathers all entities (functions, types) that implement the heap-based C generator.

val gen_assign : Data.t -> string -> string -> string
val gen_assign_var_expr : Soc.t -> Soc.var_expr -> Soc.var_expr -> string
val step_name : Soc.key -> string -> string
val get_step_prototype : Soc.step_method -> Soc.t -> string * string * string
val string_of_var_expr : Soc.t -> Soc.var_expr -> string
val ctx_var : Soc2cUtil.var_kind -> Soc.t -> Lv6Id.t -> string
val gen_step_call : Soc.t -> Soc.t -> Soc.var_expr list -> Soc.var_expr list -> string -> string -> string -> string
val inlined_soc : Soc.key -> bool
val typedef_of_soc : Soc.t -> string