Revision b38ffff3 src/clock_calculus.ml
src/clock_calculus.ml | ||
---|---|---|
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 |
*---------------------------------------------------------------------------- *) |
|
1 |
(********************************************************************) |
|
2 |
(* *) |
|
3 |
(* The LustreC compiler toolset / The LustreC Development Team *) |
|
4 |
(* Copyright 2012 - -- ONERA - CNRS - INPT - LIFL *) |
|
5 |
(* *) |
|
6 |
(* LustreC is free software, distributed WITHOUT ANY WARRANTY *) |
|
7 |
(* under the terms of the GNU Lesser General Public License *) |
|
8 |
(* version 2.1. *) |
|
9 |
(* *) |
|
10 |
(* This file was originally from the Prelude compiler *) |
|
11 |
(* *) |
|
12 |
(********************************************************************) |
|
13 |
|
|
22 | 14 |
|
23 | 15 |
(** Main clock-calculus module. Based on type inference algorithms with |
24 | 16 |
destructive unification. Uses a bit of subtyping for periodic clocks. *) |
Also available in: Unified diff