| 1 |
c35de73b
|
ploc
|
val pp_val: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.value_t -> unit
|
| 2 |
2863281f
|
ploc
|
val is_memory: Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
|
| 3 |
6d1693b9
|
Lélio Brun
|
val is_reset_flag: Lustre_types.var_decl -> bool
|
| 4 |
2863281f
|
ploc
|
val is_output: Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
|
| 5 |
|
|
val is_const_value: Machine_code_types.value_t -> bool
|
| 6 |
|
|
val get_const_assign: Machine_code_types.machine_t -> Lustre_types.var_decl -> Machine_code_types.value_t
|
| 7 |
|
|
val get_stateless_status: Machine_code_types.machine_t -> bool * bool
|
| 8 |
9d693675
|
Lélio Brun
|
val get_stateless_status_top_decl: Lustre_types.top_decl -> bool * bool
|
| 9 |
e4edf171
|
ploc
|
val is_stateless: Machine_code_types.machine_t -> bool
|
| 10 |
2863281f
|
ploc
|
val mk_val: Machine_code_types.value_t_desc -> Types.type_expr -> Machine_code_types.value_t
|
| 11 |
6d1693b9
|
Lélio Brun
|
val vdecl_to_val: Lustre_types.var_decl -> Machine_code_types.value_t
|
| 12 |
|
|
val vdecls_to_vals: Lustre_types.var_decl list -> Machine_code_types.value_t list
|
| 13 |
|
|
val id_to_tag: Lustre_types.ident -> Machine_code_types.value_t
|
| 14 |
2863281f
|
ploc
|
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
|
| 15 |
c4780a6a
|
Lélio Brun
|
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
|
| 16 |
|
|
val mk_branch': ?lustre_eq:Lustre_types.eq -> Lustre_types.var_decl -> (Lustre_types.label * Machine_code_types.instr_t list) list -> Machine_code_types.instr_t
|
| 17 |
75c459f4
|
Lélio Brun
|
val mk_assign: ?lustre_eq:Lustre_types.eq -> Lustre_types.var_decl -> Machine_code_types.value_t -> Machine_code_types.instr_t
|
| 18 |
2863281f
|
ploc
|
val empty_machine: Machine_code_types.machine_t
|
| 19 |
|
|
val arrow_machine: Machine_code_types.machine_t
|
| 20 |
59020713
|
ploc
|
val new_instance: Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident
|
| 21 |
2863281f
|
ploc
|
val value_of_dimension: Machine_code_types.machine_t -> Dimension.dim_expr -> Machine_code_types.value_t
|
| 22 |
|
|
val dimension_of_value:Machine_code_types.value_t -> Dimension.dim_expr
|
| 23 |
c35de73b
|
ploc
|
val pp_instr: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.instr_t -> unit
|
| 24 |
|
|
val pp_instrs: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.instr_t list -> unit
|
| 25 |
2863281f
|
ploc
|
val pp_machines: Format.formatter -> Machine_code_types.machine_t list -> unit
|
| 26 |
e4edf171
|
ploc
|
val get_machine_opt: Machine_code_types.machine_t list -> string -> Machine_code_types.machine_t option
|
| 27 |
|
|
|
| 28 |
|
|
(* Same function but fails if no such a machine exists *)
|
| 29 |
|
|
val get_machine: Machine_code_types.machine_t list -> string -> Machine_code_types.machine_t
|
| 30 |
|
|
|
| 31 |
2863281f
|
ploc
|
val get_node_def: string -> Machine_code_types.machine_t -> Lustre_types.node_desc
|
| 32 |
|
|
val join_guards_list: Machine_code_types.instr_t list -> Machine_code_types.instr_t list
|
| 33 |
f0195e96
|
ploc
|
val machine_vars: Machine_code_types.machine_t -> Lustre_types.var_decl list
|
| 34 |
6d1693b9
|
Lélio Brun
|
|
| 35 |
|
|
module PrintSpec: sig val pp_spec: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.value_t Spec_types.formula_t -> unit end
|