lustrec / src / clock_predef.ml @ 22fe1c93
History | View | Annotate | Download (1.77 KB)
1 |
(* ---------------------------------------------------------------------------- |
---|---|
2 |
* SchedMCore - A MultiCore Scheduling Framework |
3 |
* Copyright (C) 2009-2011, ONERA, Toulouse, FRANCE - LIFL, Lille, FRANCE |
4 |
* |
5 |
* This file is part of Prelude |
6 |
* |
7 |
* Prelude is free software; you can redistribute it and/or |
8 |
* modify it under the terms of the GNU Lesser General Public License |
9 |
* as published by the Free Software Foundation ; either version 2 of |
10 |
* the License, or (at your option) any later version. |
11 |
* |
12 |
* Prelude is distributed in the hope that it will be useful, but |
13 |
* WITHOUT ANY WARRANTY ; without even the implied warranty of |
14 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
15 |
* Lesser General Public License for more details. |
16 |
* |
17 |
* You should have received a copy of the GNU Lesser General Public |
18 |
* License along with this program ; if not, write to the Free Software |
19 |
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 |
20 |
* USA |
21 |
*---------------------------------------------------------------------------- *) |
22 |
|
23 |
(** Predefined operator clocks *) |
24 |
open Clocks |
25 |
|
26 |
let ck_bin_univ = |
27 |
let univ = new_univar () in |
28 |
new_ck (Carrow (new_ck (Ctuple [univ;univ]) true, univ)) true |
29 |
|
30 |
let ck_ite = |
31 |
let univ = new_univar () in |
32 |
new_ck (Carrow (new_ck (Ctuple [univ;univ;univ]) true, univ)) true |
33 |
|
34 |
let ck_unary_univ = |
35 |
let univ = new_univar () in |
36 |
new_ck (Carrow (univ, univ)) true |
37 |
|
38 |
let ck_bool_to_clock = |
39 |
let univ = new_univar () in |
40 |
let cuniv = new_carrier Carry_var false in |
41 |
new_ck (Carrow (univ, new_ck (Ccarrying (cuniv, univ)) false)) |
42 |
|
43 |
let ck_clock_to_bool = |
44 |
let univ = new_univar () in |
45 |
let cuniv = new_carrier Carry_var false in |
46 |
new_ck (Carrow (new_ck (Ccarrying (cuniv, univ)) false, univ)) |
47 |
|
48 |
(* Local Variables: *) |
49 |
(* compile-command:"make -C .." *) |
50 |
(* End: *) |