annotate src/fftw-3.3.8/genfft/annotate.mli @ 82:d0c2a83c1364

Add FFTW 3.3.8 source, and a Linux build
author Chris Cannam
date Tue, 19 Nov 2019 14:52:55 +0000
parents
children
rev   line source
Chris@82 1 (*
Chris@82 2 * Copyright (c) 1997-1999 Massachusetts Institute of Technology
Chris@82 3 * Copyright (c) 2003, 2007-14 Matteo Frigo
Chris@82 4 * Copyright (c) 2003, 2007-14 Massachusetts Institute of Technology
Chris@82 5 *
Chris@82 6 * This program is free software; you can redistribute it and/or modify
Chris@82 7 * it under the terms of the GNU General Public License as published by
Chris@82 8 * the Free Software Foundation; either version 2 of the License, or
Chris@82 9 * (at your option) any later version.
Chris@82 10 *
Chris@82 11 * This program is distributed in the hope that it will be useful,
Chris@82 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
Chris@82 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
Chris@82 14 * GNU General Public License for more details.
Chris@82 15 *
Chris@82 16 * You should have received a copy of the GNU General Public License
Chris@82 17 * along with this program; if not, write to the Free Software
Chris@82 18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
Chris@82 19 *
Chris@82 20 *)
Chris@82 21
Chris@82 22 open Variable
Chris@82 23 open Expr
Chris@82 24
Chris@82 25 type annotated_schedule =
Chris@82 26 Annotate of variable list * variable list * variable list *
Chris@82 27 int * aschedule
Chris@82 28 and aschedule =
Chris@82 29 ADone
Chris@82 30 | AInstr of assignment
Chris@82 31 | ASeq of (annotated_schedule * annotated_schedule)
Chris@82 32
Chris@82 33 val annotate :
Chris@82 34 variable list list -> Schedule.schedule -> annotated_schedule
Chris@82 35
Chris@82 36 val dump : (string -> unit) -> annotated_schedule -> unit