Clan: relation.h Source File

Go to the documentation of this file.
00001 
00002    /*+------- <| --------------------------------------------------------**
00003     **         A                     Clan                                **
00004     **---     /.\   -----------------------------------------------------**
00005     **   <|  [""M#                 relation.h                            **
00006     **-   A   | #   -----------------------------------------------------**
00007     **   /.\ [""M#         First version: 30/04/2008                     **
00008     **- [""M# | #  U"U#U  -----------------------------------------------**
00009          | #  | #  \ .:/
00010          | #  | #___| #
00011  ******  | "--'     .-"  ******************************************************
00012  *     |"-"-"-"-"-#-#-##   Clan : the Chunky Loop Analyzer (experimental)     *
00013  ****  |     # ## ######  *****************************************************
00014  *      \       .::::'/                                                       *
00015  *       \      ::::'/     Copyright (C) 2008 University Paris-Sud 11         *
00016  *     :8a|    # # ##                                                         *
00017  *     ::88a      ###      This is free software; you can redistribute it     *
00018  *    ::::888a  8a ##::.   and/or modify it under the terms of the GNU Lesser *
00019  *  ::::::::888a88a[]:::   General Public License as published by the Free    *
00020  *::8:::::::::SUNDOGa8a::. Software Foundation, either version 2.1 of the     *
00021  *::::::::8::::888:Y8888:: License, or (at your option) any later version.    *
00022  *::::':::88::::888::Y88a::::::::::::...                                      *
00023  *::'::..    .   .....   ..   ...  .                                          *
00024  * This software is distributed in the hope that it will be useful, but       *
00025  * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
00026  * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License   *
00027  * for more details.                                                          *
00028  *                                                                            *
00029  * You should have received a copy of the GNU Lesser General Public License   *
00030  * along with software; if not, write to the Free Software Foundation, Inc.,  *
00031  * 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA                     *
00032  *                                                                            *
00033  * Clan, the Chunky Loop Analyzer                                             *
00034  * Written by Cedric Bastoul, Cedric.Bastoul@u-psud.fr                        *
00035  *                                                                            *
00036  ******************************************************************************/
00037 
00038 
00039 #ifndef CLAN_relation_H
00040 # define CLAN_relation_H
00041 
00042 # include <clan/options.h>
00043 
00044 # if defined(__cplusplus)
00045 extern "C"
00046   {
00047 # endif
00048 
00049 
00050 struct osl_relation;
00051 struct osl_vector;
00052 
00053 
00054 /*+****************************************************************************
00055  *                            Processing functions                            *
00056  ******************************************************************************/
00057 void                 clan_relation_tag_array(struct osl_relation*, int);
00058 struct osl_relation* clan_relation_build_context(int, clan_options_p);
00059 struct osl_relation* clan_relation_scattering(int*, int, int);
00060 void                 clan_relation_new_output_vector(struct osl_relation*,
00061                                                      struct osl_vector*);
00062 void                 clan_relation_new_output_scalar(struct osl_relation*, int);
00063 void                 clan_relation_compact(struct osl_relation*, int);
00064 struct osl_relation* clan_relation_greater(struct osl_relation*,
00065                                            struct osl_relation*, int);
00066 struct osl_relation* clan_relation_not(struct osl_relation*);
00067 void                 clan_relation_and(struct osl_relation*,
00068                                        struct osl_relation*);
00069 int                  clan_relation_existential(struct osl_relation*);
00070 void                 clan_relation_oppose_row(struct osl_relation*, int);
00071 struct osl_relation* clan_relation_stride(struct osl_relation*, int, int);
00072 void                 clan_relation_simplify(struct osl_relation*);
00073 void                 clan_relation_loop_context(struct osl_relation*,
00074                                                 struct osl_relation*, int);
00075 
00076 # if defined(__cplusplus)
00077   }
00078 # endif
00079 #endif /* define CLAN_relation_H */