Project

General

Profile

Revision b38ffff3 src/clock_calculus.ml

View differences:

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