lustrec / src / machine_code_common.mli @ 2863281f
History | View | Annotate | Download (1.56 KB)
| 1 |
val pp_val: 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 mk_val: Machine_code_types.value_t_desc -> Types.type_expr -> Machine_code_types.value_t |
| 8 |
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 |
| 9 |
val empty_machine: Machine_code_types.machine_t |
| 10 |
val arrow_machine: Machine_code_types.machine_t |
| 11 |
val new_instance: Lustre_types.node_desc -> Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident |
| 12 |
val value_of_dimension: Machine_code_types.machine_t -> Dimension.dim_expr -> Machine_code_types.value_t |
| 13 |
val dimension_of_value:Machine_code_types.value_t -> Dimension.dim_expr |
| 14 |
val pp_instr: Format.formatter -> Machine_code_types.instr_t -> unit |
| 15 |
val pp_instrs: Format.formatter -> Machine_code_types.instr_t list -> unit |
| 16 |
val pp_machines: Format.formatter -> Machine_code_types.machine_t list -> unit |
| 17 |
val get_machine_opt: string -> Machine_code_types.machine_t list -> Machine_code_types.machine_t option |
| 18 |
val get_node_def: string -> Machine_code_types.machine_t -> Lustre_types.node_desc |
| 19 |
val join_guards_list: Machine_code_types.instr_t list -> Machine_code_types.instr_t list |