package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

Dune Dependency

www-verimag.imag.fr Edit opam file Versions (4)

Authors

E

Erwan Jahier and Pascal Raymond

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

lustre-v6.v6.107.1.tgz

md5=4b642b106a76e19de3751afb53ccdcf4

sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc

doc/lustre-v6/SocNameC/index.html

Module `SocNameC`Source

Time-stamp: <modified the 22/07/2022 (at 14:31) by Erwan Jahier>

Sourcetype variable_type = {

id : int;
name : string;
var_type : string;

}

Sourcetype node_type = {

file_name : string;
fct_name : string;
ctx : bool;
ctx_tab : string;

}

Sourcetype instance_type = {

id : int;
node : int;
var_in : int list;
var_out : int list;

}

Sourceval get_filename : Soc.t -> string

Sourceval get_ctx_name : Soc.t -> string

Sourceval get_ctx_new : Soc.t -> string

Source

val var_to_variable_type : 
  int ->
  int ->
  (string * Data.t) ->
  string * variable_type

Sourceval get_inputs_assoc : Soc.t -> (string * variable_type) list

Sourceval get_outputs_assoc : Soc.t -> (string * variable_type) list

Sourceval get_inputs : Soc.t -> variable_type list

Sourceval get_outputs : Soc.t -> variable_type list

Sourceval get_variables_assoc : Soc.t -> (string * variable_type) list

Sourceval get_variables : Soc.t -> variable_type list

Sourceval get_gaol : Soc.t -> Soc.gao list

Sourceval get_nodes : Soc.t -> node_type list

Sourceval var_expr_to_index : (string * variable_type) list -> Soc.var_expr -> int

Sourceval print_instance_type : instance_type -> unit

Sourceval get_instances : Soc.t -> instance_type list