Project

General

Profile

Download (2.03 KB) Statistics
| Branch: | Tag: | Revision:
1
open Utils
2
open Lustre_types
3
open Machine_code_types
4

    
5
val pp_val :
6
  machine_t ->
7
  Format.formatter ->
8
  value_t ->
9
  unit
10

    
11
val is_memory : machine_t -> var_decl -> bool
12

    
13
val is_reset_flag : var_decl -> bool
14

    
15
val is_output : machine_t -> var_decl -> bool
16

    
17
val is_const_value : value_t -> bool
18

    
19
val get_const_assign :
20
  machine_t ->
21
  var_decl ->
22
  value_t
23

    
24
val get_stateless_status_node : node_desc -> bool * bool
25

    
26
val get_stateless_status : machine_t -> bool * bool
27

    
28
val get_stateless_status_top_decl : top_decl -> bool * bool
29

    
30
val is_stateless : machine_t -> bool
31

    
32
val mk_val :
33
  value_t_desc ->
34
  Types.t ->
35
  value_t
36

    
37
val vdecl_to_val : var_decl -> value_t
38

    
39
val vdecls_to_vals :
40
  var_decl list -> value_t list
41

    
42
val id_to_tag : ident -> value_t
43

    
44
val mk_conditional :
45
  ?lustre_eq:eq ->
46
  value_t ->
47
  instr_t list ->
48
  instr_t list ->
49
  instr_t
50

    
51
val mk_branch :
52
  ?lustre_eq:eq ->
53
  value_t ->
54
  (label * instr_t list) list ->
55
  instr_t
56

    
57
val mk_branch' :
58
  ?lustre_eq:eq ->
59
  var_decl ->
60
  (label * instr_t list) list ->
61
  instr_t
62

    
63
val mk_assign :
64
  ?lustre_eq:eq ->
65
  var_decl ->
66
  value_t ->
67
  instr_t
68

    
69
val empty_machine : machine_t
70

    
71
val arrow_machine : machine_t
72

    
73
val new_instance :
74
  top_decl -> tag -> ident
75

    
76
val value_of_dimension :
77
  machine_t ->
78
  Dimension.t ->
79
  value_t
80

    
81
val dimension_of_value : value_t -> Dimension.t
82

    
83
val pp_instr :
84
  machine_t ->
85
  Format.formatter ->
86
  instr_t ->
87
  unit
88

    
89
val pp_instrs :
90
  machine_t ->
91
  Format.formatter ->
92
  instr_t list ->
93
  unit
94

    
95
val pp_machines : Format.formatter -> machine_t list -> unit
96

    
97
val get_machine_opt :
98
  machine_t list ->
99
  string ->
100
  machine_t option
101

    
102
(* Same function but fails if no such a machine exists *)
103
val get_machine :
104
  machine_t list -> string -> machine_t
105

    
106
val get_node_def :
107
  string -> machine_t -> node_desc
108

    
109
val join_guards_list :
110
  instr_t list -> instr_t list
111

    
112
val machine_vars : machine_t -> var_decl list
113

    
114
val get_machine: machine_t list -> ident -> machine_t
115

    
116
module PrintSpec : sig
117
  val pp_spec :
118
    machine_t ->
119
    Format.formatter ->
120
    value_t Spec_types.formula_t ->
121
    unit
122
end
(55-55/111)