Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
| src/clock_predef.ml | ||
|---|---|---|
| 6 | 6 |
(* LustreC is free software, distributed WITHOUT ANY WARRANTY *) |
| 7 | 7 |
(* under the terms of the GNU Lesser General Public License *) |
| 8 | 8 |
(* version 2.1. *) |
| 9 |
(* *)
|
|
| 9 |
(* *) |
|
| 10 | 10 |
(* This file was originally from the Prelude compiler *) |
| 11 |
(* *)
|
|
| 11 |
(* *) |
|
| 12 | 12 |
(********************************************************************) |
| 13 | 13 |
|
| 14 |
(** Predefined operator clocks *) |
|
| 15 | 14 |
open Clocks |
| 15 |
(** Predefined operator clocks *) |
|
| 16 | 16 |
|
| 17 | 17 |
let ck_tuple cl = new_ck (Ctuple cl) true |
| 18 | 18 |
|
| 19 | 19 |
let ck_bin_univ = |
| 20 | 20 |
let univ = new_univar () in |
| 21 |
new_ck (Carrow (new_ck (Ctuple [univ;univ]) true, univ)) true
|
|
| 21 |
new_ck (Carrow (new_ck (Ctuple [ univ; univ ]) true, univ)) true
|
|
| 22 | 22 |
|
| 23 | 23 |
let ck_ite = |
| 24 | 24 |
let univ = new_univar () in |
| 25 |
new_ck (Carrow (new_ck (Ctuple [univ;univ;univ]) true, univ)) true
|
|
| 25 |
new_ck (Carrow (new_ck (Ctuple [ univ; univ; univ ]) true, univ)) true
|
|
| 26 | 26 |
|
| 27 | 27 |
let ck_nullary_univ = |
| 28 | 28 |
let univ = new_univar () in |
| ... | ... | |
| 43 | 43 |
new_ck (Carrow (new_ck (Ccarrying (cuniv, univ)) false, univ)) |
| 44 | 44 |
|
| 45 | 45 |
let ck_carrier id ck = |
| 46 |
new_ck (Ccarrying (new_carrier (Carry_const id) true, ck)) true |
|
| 46 |
new_ck (Ccarrying (new_carrier (Carry_const id) true, ck)) true
|
|
| 47 | 47 |
(* Local Variables: *) |
| 48 | 48 |
(* compile-command:"make -C .." *) |
| 49 | 49 |
(* End: *) |
Also available in: Unified diff
reformatting