Project

General

Profile

Download (2.83 KB) Statistics
| Branch: | Tag: | Revision:
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_reset_flag: Lustre_types.var_decl -> bool
4
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
val get_stateless_status_top_decl: Lustre_types.top_decl -> bool * bool
9
val is_stateless: Machine_code_types.machine_t -> bool
10
val mk_val: Machine_code_types.value_t_desc -> Types.type_expr -> Machine_code_types.value_t
11
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
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
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
val mk_assign: ?lustre_eq:Lustre_types.eq -> Lustre_types.var_decl -> Machine_code_types.value_t -> Machine_code_types.instr_t
18
val empty_machine: Machine_code_types.machine_t
19
val arrow_machine: Machine_code_types.machine_t
20
val new_instance: Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident
21
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
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
val pp_machines: Format.formatter -> Machine_code_types.machine_t list -> unit
26
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
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
val machine_vars: Machine_code_types.machine_t -> Lustre_types.var_decl list
34

    
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
(34-34/66)