package lustre-v6

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

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

type variable_type = {
  1. id : int;
  2. name : string;
  3. var_type : string;
}
type node_type = {
  1. file_name : string;
  2. fct_name : string;
  3. ctx : bool;
  4. ctx_tab : string;
}
type instance_type = {
  1. id : int;
  2. node : int;
  3. var_in : int list;
  4. var_out : int list;
}
val get_filename : Soc.t -> string
val get_ctx_name : Soc.t -> string
val get_ctx_new : Soc.t -> string
val var_to_variable_type : int -> int -> (string * Data.t) -> string * variable_type
val get_inputs_assoc : Soc.t -> (string * variable_type) list
val get_outputs_assoc : Soc.t -> (string * variable_type) list
val get_inputs : Soc.t -> variable_type list
val get_outputs : Soc.t -> variable_type list
val get_variables_assoc : Soc.t -> (string * variable_type) list
val get_variables : Soc.t -> variable_type list
val get_gaol : Soc.t -> Soc.gao list
val get_nodes : Soc.t -> node_type list
val var_expr_to_index : (string * variable_type) list -> Soc.var_expr -> int
val print_instance_type : instance_type -> unit
val get_instances : Soc.t -> instance_type list