package lustre-v6

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

Module SocNameCSource

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

Sourcetype variable_type = {
  1. id : int;
  2. name : string;
  3. var_type : string;
}
Sourcetype node_type = {
  1. file_name : string;
  2. fct_name : string;
  3. ctx : bool;
  4. ctx_tab : string;
}
Sourcetype instance_type = {
  1. id : int;
  2. node : int;
  3. var_in : int list;
  4. var_out : int list;
}
Sourceval get_filename : Soc.t -> string
Sourceval get_ctx_name : Soc.t -> string
Sourceval get_ctx_new : Soc.t -> string
Sourceval 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct