Project

General

Profile

Revision e4edf171 src/machine_code_common.mli

View differences:

src/machine_code_common.mli
4 4
val is_const_value: Machine_code_types.value_t -> bool
5 5
val get_const_assign: Machine_code_types.machine_t -> Lustre_types.var_decl -> Machine_code_types.value_t
6 6
val get_stateless_status: Machine_code_types.machine_t -> bool * bool
7
val is_stateless: Machine_code_types.machine_t -> bool
7 8
val mk_val: Machine_code_types.value_t_desc -> Types.type_expr -> Machine_code_types.value_t
8 9
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 10
val empty_machine: Machine_code_types.machine_t
......
14 15
val pp_instr: Format.formatter -> Machine_code_types.instr_t -> unit
15 16
val pp_instrs: Format.formatter -> Machine_code_types.instr_t list -> unit
16 17
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_machine_opt: Machine_code_types.machine_t list -> string -> Machine_code_types.machine_t option
19

  
20
(* Same function but fails if no such a machine  exists *)
21
val get_machine: Machine_code_types.machine_t list -> string -> Machine_code_types.machine_t
22

  
23
  
18 24
val get_node_def: string -> Machine_code_types.machine_t -> Lustre_types.node_desc
19 25
val join_guards_list: Machine_code_types.instr_t list -> Machine_code_types.instr_t list

Also available in: Unified diff