Project

General

Profile

Download (3.06 KB) Statistics
| Branch: | Tag: | Revision:
1
val pp_val :
2
  Machine_code_types.machine_t ->
3
  Format.formatter ->
4
  Machine_code_types.value_t ->
5
  unit
6

    
7
val is_memory : Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
8

    
9
val is_reset_flag : Lustre_types.var_decl -> bool
10

    
11
val is_output : Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
12

    
13
val is_const_value : Machine_code_types.value_t -> bool
14

    
15
val get_const_assign :
16
  Machine_code_types.machine_t ->
17
  Lustre_types.var_decl ->
18
  Machine_code_types.value_t
19

    
20
val get_stateless_status_node : Lustre_types.node_desc -> bool * bool
21

    
22
val get_stateless_status : Machine_code_types.machine_t -> bool * bool
23

    
24
val get_stateless_status_top_decl : Lustre_types.top_decl -> bool * bool
25

    
26
val is_stateless : Machine_code_types.machine_t -> bool
27

    
28
val mk_val :
29
  Machine_code_types.value_t_desc ->
30
  Types.type_expr ->
31
  Machine_code_types.value_t
32

    
33
val vdecl_to_val : Lustre_types.var_decl -> Machine_code_types.value_t
34

    
35
val vdecls_to_vals :
36
  Lustre_types.var_decl list -> Machine_code_types.value_t list
37

    
38
val id_to_tag : Lustre_types.ident -> Machine_code_types.value_t
39

    
40
val mk_conditional :
41
  ?lustre_eq:Lustre_types.eq ->
42
  Machine_code_types.value_t ->
43
  Machine_code_types.instr_t list ->
44
  Machine_code_types.instr_t list ->
45
  Machine_code_types.instr_t
46

    
47
val mk_branch :
48
  ?lustre_eq:Lustre_types.eq ->
49
  Machine_code_types.value_t ->
50
  (Lustre_types.label * Machine_code_types.instr_t list) list ->
51
  Machine_code_types.instr_t
52

    
53
val mk_branch' :
54
  ?lustre_eq:Lustre_types.eq ->
55
  Lustre_types.var_decl ->
56
  (Lustre_types.label * Machine_code_types.instr_t list) list ->
57
  Machine_code_types.instr_t
58

    
59
val mk_assign :
60
  ?lustre_eq:Lustre_types.eq ->
61
  Lustre_types.var_decl ->
62
  Machine_code_types.value_t ->
63
  Machine_code_types.instr_t
64

    
65
val empty_machine : Machine_code_types.machine_t
66

    
67
val arrow_machine : Machine_code_types.machine_t
68

    
69
val new_instance :
70
  Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident
71

    
72
val value_of_dimension :
73
  Machine_code_types.machine_t ->
74
  Dimension.dim_expr ->
75
  Machine_code_types.value_t
76

    
77
val dimension_of_value : Machine_code_types.value_t -> Dimension.dim_expr
78

    
79
val pp_instr :
80
  Machine_code_types.machine_t ->
81
  Format.formatter ->
82
  Machine_code_types.instr_t ->
83
  unit
84

    
85
val pp_instrs :
86
  Machine_code_types.machine_t ->
87
  Format.formatter ->
88
  Machine_code_types.instr_t list ->
89
  unit
90

    
91
val pp_machines : Format.formatter -> Machine_code_types.machine_t list -> unit
92

    
93
val get_machine_opt :
94
  Machine_code_types.machine_t list ->
95
  string ->
96
  Machine_code_types.machine_t option
97

    
98
(* Same function but fails if no such a machine exists *)
99
val get_machine :
100
  Machine_code_types.machine_t list -> string -> Machine_code_types.machine_t
101

    
102
val get_node_def :
103
  string -> Machine_code_types.machine_t -> Lustre_types.node_desc
104

    
105
val join_guards_list :
106
  Machine_code_types.instr_t list -> Machine_code_types.instr_t list
107

    
108
val machine_vars : Machine_code_types.machine_t -> Lustre_types.var_decl list
109

    
110
module PrintSpec : sig
111
  val pp_spec :
112
    Machine_code_types.machine_t ->
113
    Format.formatter ->
114
    Machine_code_types.value_t Spec_types.formula_t ->
115
    unit
116
end
(34-34/66)