package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

md5=4b642b106a76e19de3751afb53ccdcf4

sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc

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

Sourceval gen_assign : Data.t -> string -> string -> string

Sourceval gen_assign_var_expr : Soc.t -> Soc.var_expr -> Soc.var_expr -> string

Sourceval step_name : Soc.key -> string -> string

Sourceval get_step_prototype : Soc.step_method -> Soc.t -> string * string * string

Sourceval string_of_var_expr : Soc.t -> Soc.var_expr -> string

Sourceval 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

Sourceval inlined_soc : Soc.key -> bool

Sourceval typedef_of_soc : Soc.t -> string