|
1
|
val pp_val: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.value_t -> unit
|
|
2
|
val is_memory: Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
|
|
3
|
val is_output: Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
|
|
4
|
val is_const_value: Machine_code_types.value_t -> bool
|
|
5
|
val get_const_assign: Machine_code_types.machine_t -> Lustre_types.var_decl -> Machine_code_types.value_t
|
|
6
|
val get_stateless_status: Machine_code_types.machine_t -> bool * bool
|
|
7
|
val get_stateless_status_top_decl: Lustre_types.top_decl -> bool * bool
|
|
8
|
val is_stateless: Machine_code_types.machine_t -> bool
|
|
9
|
val mk_val: Machine_code_types.value_t_desc -> Types.type_expr -> Machine_code_types.value_t
|
|
10
|
val mk_conditional: ?lustre_eq:Lustre_types.eq -> Machine_code_types.value_t -> Machine_code_types.instr_t list -> Machine_code_types.instr_t list -> Machine_code_types.instr_t
|
|
11
|
val mk_branch: ?lustre_eq:Lustre_types.eq -> Machine_code_types.value_t -> (Lustre_types.label * Machine_code_types.instr_t list) list -> Machine_code_types.instr_t
|
|
12
|
val mk_assign: ?lustre_eq:Lustre_types.eq -> Lustre_types.var_decl -> Machine_code_types.value_t -> Machine_code_types.instr_t
|
|
13
|
val empty_machine: Machine_code_types.machine_t
|
|
14
|
val arrow_machine: Machine_code_types.machine_t
|
|
15
|
val new_instance: Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident
|
|
16
|
val value_of_dimension: Machine_code_types.machine_t -> Dimension.dim_expr -> Machine_code_types.value_t
|
|
17
|
val dimension_of_value:Machine_code_types.value_t -> Dimension.dim_expr
|
|
18
|
val pp_instr: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.instr_t -> unit
|
|
19
|
val pp_instrs: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.instr_t list -> unit
|
|
20
|
val pp_machines: Format.formatter -> Machine_code_types.machine_t list -> unit
|
|
21
|
val get_machine_opt: Machine_code_types.machine_t list -> string -> Machine_code_types.machine_t option
|
|
22
|
|
|
23
|
(* Same function but fails if no such a machine exists *)
|
|
24
|
val get_machine: Machine_code_types.machine_t list -> string -> Machine_code_types.machine_t
|
|
25
|
|
|
26
|
val get_node_def: string -> Machine_code_types.machine_t -> Lustre_types.node_desc
|
|
27
|
val join_guards_list: Machine_code_types.instr_t list -> Machine_code_types.instr_t list
|
|
28
|
val machine_vars: Machine_code_types.machine_t -> Lustre_types.var_decl list
|