Revision 9a9058f4
Added by Pierre-Loïc Garoche over 5 years ago
| src/corelang.mli | ||
|---|---|---|
| 165 | 165 |
|
| 166 | 166 |
val reset_cpt_fresh: unit -> unit |
| 167 | 167 |
val mk_fresh_var: node_desc -> Location.t -> Types.type_expr -> Clocks.clock_expr -> var_decl |
| 168 |
|
|
| 169 |
|
|
| 170 |
(* Extract a num to describe a real constant *) |
|
| 171 |
val cst_real_to_num: Num.num -> int -> Num.num |
|
| 168 | 172 |
(* Local Variables: *) |
| 169 | 173 |
(* compile-command:"make -C .." *) |
| 170 | 174 |
(* End: *) |
Also available in: Unified diff
More work on Salsa plugin