PIPS
local-header.h
Go to the documentation of this file.
1 /*
2 
3  $Id: local-header.h 23065 2016-03-02 09:05:50Z coelho $
4 
5  Copyright 1989-2016 MINES ParisTech
6 
7  This file is part of PIPS.
8 
9  PIPS is free software: you can redistribute it and/or modify it
10  under the terms of the GNU General Public License as published by
11  the Free Software Foundation, either version 3 of the License, or
12  any later version.
13 
14  PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
15  WARRANTY; without even the implied warranty of MERCHANTABILITY or
16  FITNESS FOR A PARTICULAR PURPOSE.
17 
18  See the GNU General Public License for more details.
19 
20  You should have received a copy of the GNU General Public License
21  along with PIPS. If not, see <http://www.gnu.org/licenses/>.
22 
23 */
24 
25 #include <stdio.h>
26 #include <string.h>
27 
28 #include "linear.h"
29 
30 #include "genC.h"
31 #include "ri.h"
32 #include "effects.h"
33 #include "database.h"
34 #include "resources.h"
35 
36 #include "misc.h"
37 #include "ri-util.h"
38 #include "effects-util.h"
39 #include "text-util.h"
40 #include "pipsdbm.h"
41 #include "effects-generic.h"
42 #include "effects-simple.h"
43 
44 #include "reductions_private.h"
45 #include "reductions.h"
46 
47 /* end of it!
48  */
reductions_private.h