Revision 333e3a25
Added by Pierre-Loïc Garoche over 5 years ago
| src/corelang.mli | ||
|---|---|---|
| 75 | 75 |
|
| 76 | 76 |
val get_node_vars: node_desc -> var_decl list |
| 77 | 77 |
val get_node_var: ident -> node_desc -> var_decl |
| 78 |
val get_node_eqs: node_desc -> eq list |
|
| 78 |
val get_node_eqs: node_desc -> eq list * automata_desc list
|
|
| 79 | 79 |
val get_node_eq: ident -> node_desc -> eq |
| 80 | 80 |
val get_node_interface: node_desc -> imported_node_desc |
| 81 | 81 |
|
| ... | ... | |
| 124 | 124 |
val rename_carrier: (ident -> ident) -> clock_dec_desc -> clock_dec_desc |
| 125 | 125 |
|
| 126 | 126 |
val get_expr_vars: expr -> Utils.ISet.t |
| 127 |
val expr_replace_var: (ident -> ident) -> expr -> expr |
|
| 127 |
(*val expr_replace_var: (ident -> ident) -> expr -> expr*) |
|
| 128 |
|
|
| 128 | 129 |
val eq_replace_rhs_var: (ident -> bool) -> (ident -> ident) -> eq -> eq |
| 129 | 130 |
|
| 130 |
(** rename_prog f_node f_var f_const prog *) |
|
| 131 |
(** val rename_expr f_node f_var expr *) |
|
| 132 |
val rename_expr : (ident -> ident) -> (ident -> ident) -> expr -> expr |
|
| 133 |
(** val rename_eq f_node f_var eq *) |
|
| 134 |
val rename_eq : (ident -> ident) -> (ident -> ident) -> eq -> eq |
|
| 135 |
(** val rename_aut f_node f_var aut *) |
|
| 136 |
val rename_aut : (ident -> ident) -> (ident -> ident) -> automata_desc -> automata_desc |
|
| 137 |
(** rename_prog f_node f_var prog *) |
|
| 131 | 138 |
val rename_prog: (ident -> ident) -> (ident -> ident) -> (ident -> ident) -> program -> program |
| 132 | 139 |
|
| 133 | 140 |
val substitute_expr: var_decl list -> eq list -> expr -> expr |
Also available in: Unified diff
[general] Refactor get_node_eqs to produce (eqs, auts) with automatons