OpenScop  0.9.0
relation.h
Go to the documentation of this file.
1 
2  /*+-----------------------------------------------------------------**
3  ** OpenScop Library **
4  **-----------------------------------------------------------------**
5  ** relation.h **
6  **-----------------------------------------------------------------**
7  ** First version: 30/04/2008 **
8  **-----------------------------------------------------------------**
9 
10 
11  *****************************************************************************
12  * OpenScop: Structures and formats for polyhedral tools to talk together *
13  *****************************************************************************
14  * ,___,,_,__,,__,,__,,__,,_,__,,_,__,,__,,___,_,__,,_,__, *
15  * / / / // // // // / / / // // / / // / /|,_, *
16  * / / / // // // // / / / // // / / // / / / /\ *
17  * |~~~|~|~~~|~~~|~~~|~~~|~|~~~|~|~~~|~~~|~~~|~|~~~|~|~~~|/_/ \ *
18  * | G |C| P | = | L | P |=| = |C| = | = | = |=| = |=| C |\ \ /\ *
19  * | R |l| o | = | e | l |=| = |a| = | = | = |=| = |=| L | \# \ /\ *
20  * | A |a| l | = | t | u |=| = |n| = | = | = |=| = |=| o | |\# \ \ *
21  * | P |n| l | = | s | t |=| = |d| = | = | = | | |=| o | | \# \ \ *
22  * | H | | y | | e | o | | = |l| | | = | | | | G | | \ \ \ *
23  * | I | | | | e | | | | | | | | | | | | | \ \ \ *
24  * | T | | | | | | | | | | | | | | | | | \ \ \ *
25  * | E | | | | | | | | | | | | | | | | | \ \ \ *
26  * | * |*| * | * | * | * |*| * |*| * | * | * |*| * |*| * | / \* \ \ *
27  * | O |p| e | n | S | c |o| p |-| L | i | b |r| a |r| y |/ \ \ / *
28  * '---'-'---'---'---'---'-'---'-'---'---'---'-'---'-'---' '--' *
29  * *
30  * Copyright (C) 2008 University Paris-Sud 11 and INRIA *
31  * *
32  * (3-clause BSD license) *
33  * Redistribution and use in source and binary forms, with or without *
34  * modification, are permitted provided that the following conditions *
35  * are met: *
36  * *
37  * 1. Redistributions of source code must retain the above copyright notice, *
38  * this list of conditions and the following disclaimer. *
39  * 2. Redistributions in binary form must reproduce the above copyright *
40  * notice, this list of conditions and the following disclaimer in the *
41  * documentation and/or other materials provided with the distribution. *
42  * 3. The name of the author may not be used to endorse or promote products *
43  * derived from this software without specific prior written permission. *
44  * *
45  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR *
46  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES *
47  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. *
48  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, *
49  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT *
50  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, *
51  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY *
52  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT *
53  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF *
54  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. *
55  * *
56  * OpenScop Library, a library to manipulate OpenScop formats and data *
57  * structures. Written by: *
58  * Cedric Bastoul <Cedric.Bastoul@u-psud.fr> and *
59  * Louis-Noel Pouchet <Louis-Noel.pouchet@inria.fr> *
60  * *
61  *****************************************************************************/
62 
63 
64 #ifndef OSL_RELATION_H
65 # define OSL_RELATION_H
66 
67 # include <stdio.h>
68 # include <osl/int.h>
69 # include <osl/names.h>
70 # include <osl/vector.h>
71 
72 # if defined(__cplusplus)
73 extern "C"
74  {
75 # endif
76 
77 # define OSL_URI_RELATION "relation"
78 
104 struct osl_relation {
105  int type;
106  int precision;
107  int nb_rows;
116  void* usr;
117  struct osl_relation * next;
119 };
121 typedef struct osl_relation * osl_relation_p;
122 
123 
124 /*+***************************************************************************
125  * Structure display function *
126  *****************************************************************************/
127 void osl_relation_idump(FILE *, osl_relation_p, int);
128 void osl_relation_dump(FILE *, osl_relation_p);
129 char * osl_relation_expression(osl_relation_p relation,
130  int row, char ** names);
131 char * osl_relation_spprint_polylib(osl_relation_p, osl_names_p);
132 char * osl_relation_spprint(osl_relation_p, osl_names_p);
133 void osl_relation_pprint(FILE *, osl_relation_p, osl_names_p);
134 char * osl_relation_sprint(osl_relation_p);
135 void osl_relation_print(FILE *, osl_relation_p);
136 
137 // SCoPLib Compatibility
138 char * osl_relation_spprint_polylib_scoplib(osl_relation_p,
139  osl_names_p, int, int);
140 char * osl_relation_spprint_scoplib(osl_relation_p, osl_names_p,
141  int, int);
142 void osl_relation_pprint_scoplib(FILE *, osl_relation_p,
143  osl_names_p, int, int);
144 
145 /*****************************************************************************
146  * Reading function *
147  *****************************************************************************/
148 osl_relation_p osl_relation_pread(FILE *, int);
149 osl_relation_p osl_relation_read(FILE *);
150 osl_relation_p osl_relation_psread(char **, int);
151 osl_relation_p osl_relation_psread_polylib(char **, int);
152 osl_relation_p osl_relation_sread(char **);
153 osl_relation_p osl_relation_sread_polylib(char **);
154 
155 
156 /*+***************************************************************************
157  * Memory allocation/deallocation function *
158  *****************************************************************************/
159 osl_relation_p osl_relation_pmalloc(int, int, int);
160 osl_relation_p osl_relation_malloc(int, int);
161 void osl_relation_free_inside(osl_relation_p);
162 void osl_relation_free(osl_relation_p);
163 
164 
165 /*+***************************************************************************
166  * Processing functions *
167  *****************************************************************************/
168 int osl_relation_nb_components(osl_relation_p relation);
169 osl_relation_p osl_relation_nclone(osl_relation_p, int);
170 osl_relation_p osl_relation_clone_nconstraints(osl_relation_p, int);
171 osl_relation_p osl_relation_clone(osl_relation_p);
172 void osl_relation_add(osl_relation_p *, osl_relation_p);
173 osl_relation_p osl_relation_union(osl_relation_p, osl_relation_p);
174 void osl_relation_replace_vector(osl_relation_p, osl_vector_p, int);
175 void osl_relation_insert_vector(osl_relation_p, osl_vector_p, int);
176 osl_relation_p osl_relation_concat_vector(osl_relation_p, osl_vector_p);
177 void osl_relation_insert_blank_row(osl_relation_p, int);
178 void osl_relation_insert_blank_column(osl_relation_p, int);
179 void osl_relation_add_vector(osl_relation_p, osl_vector_p, int);
180 void osl_relation_sub_vector(osl_relation_p, osl_vector_p, int);
181 osl_relation_p osl_relation_from_vector(osl_vector_p);
182 void osl_relation_replace_constraints(osl_relation_p,
183  osl_relation_p, int);
184 void osl_relation_insert_constraints(osl_relation_p,
185  osl_relation_p, int);
186 void osl_relation_swap_constraints(osl_relation_p, int, int);
187 void osl_relation_remove_row(osl_relation_p, int);
188 void osl_relation_remove_column(osl_relation_p, int);
189 void osl_relation_insert_columns(osl_relation_p, osl_relation_p,int);
190 osl_relation_p osl_relation_concat_constraints(osl_relation_p, osl_relation_p);
191 int osl_relation_part_equal(osl_relation_p, osl_relation_p);
192 int osl_relation_equal(osl_relation_p, osl_relation_p);
193 int osl_relation_integrity_check(osl_relation_p, int, int, int,int);
194 void osl_relation_set_attributes_one(osl_relation_p,
195  int, int, int, int);
196 void osl_relation_set_attributes(osl_relation_p, int, int, int, int);
197 void osl_relation_set_type(osl_relation_p, int);
198 int osl_relation_get_array_id(osl_relation_p);
199 int osl_relation_is_access(osl_relation_p);
200 void osl_relation_get_attributes(osl_relation_p,
201  int *, int *, int *, int *, int *);
202 osl_relation_p osl_relation_extend_output(osl_relation_p, int);
204 void osl_relation_set_precision(int const, osl_relation_p);
205 void osl_relation_set_same_precision(osl_relation_p, osl_relation_p);
206 
207 # if defined(__cplusplus)
208  }
209 # endif
210 #endif /* define OSL_RELATION_H */
void osl_relation_set_attributes(osl_relation_p, int, int, int, int)
Definition: relation.c:2689
int osl_relation_equal(osl_relation_p, osl_relation_p)
Definition: relation.c:2435
void osl_relation_free(osl_relation_p)
Definition: relation.c:1731
void osl_relation_insert_vector(osl_relation_p, osl_vector_p, int)
Definition: relation.c:2005
void osl_relation_free_inside(osl_relation_p)
Definition: relation.c:1706
osl_relation_p osl_relation_from_vector(osl_vector_p)
Definition: relation.c:2104
void osl_relation_get_attributes(osl_relation_p, int *, int *, int *, int *, int *)
Definition: relation.c:2853
int osl_relation_part_equal(osl_relation_p, osl_relation_p)
Definition: relation.c:2398
osl_relation_p osl_relation_clone(osl_relation_p)
Definition: relation.c:1863
void osl_relation_add(osl_relation_p *, osl_relation_p)
Definition: relation.c:1880
void osl_relation_idump(FILE *, osl_relation_p, int)
Definition: relation.c:164
void osl_relation_replace_constraints(osl_relation_p, osl_relation_p, int)
Definition: relation.c:2125
struct osl_relation * next
Definition: relation.h:117
void osl_relation_set_same_precision(osl_relation_p, osl_relation_p)
Definition: relation.c:3046
char * osl_relation_spprint_scoplib(osl_relation_p, osl_names_p, int, int)
Definition: relation.c:1215
int nb_columns
Definition: relation.h:108
void osl_relation_add_vector(osl_relation_p, osl_vector_p, int)
Definition: relation.c:1945
osl_relation_p osl_relation_pmalloc(int, int, int)
Definition: relation.c:1642
char * osl_relation_spprint(osl_relation_p, osl_names_p)
Definition: relation.c:1180
int osl_relation_get_array_id(osl_relation_p)
Definition: relation.c:2725
int nb_local_dims
Definition: relation.h:111
int osl_relation_integrity_check(osl_relation_p, int, int, int, int)
Definition: relation.c:2540
char * osl_relation_spprint_polylib(osl_relation_p, osl_names_p)
Definition: relation.c:818
int osl_relation_is_access(osl_relation_p)
Definition: relation.c:2820
int nb_parameters
Definition: relation.h:113
osl_relation_p osl_relation_read(FILE *)
Definition: relation.c:1620
osl_relation_p osl_relation_extend_output(osl_relation_p, int)
Definition: relation.c:2936
int nb_output_dims
Definition: relation.h:109
void osl_relation_dump(FILE *, osl_relation_p)
Definition: relation.c:246
void osl_relation_insert_blank_row(osl_relation_p, int)
Definition: relation.c:2044
osl_relation_p osl_relation_concat_vector(osl_relation_p, osl_vector_p)
Definition: relation.c:2026
void osl_relation_set_precision(int const, osl_relation_p)
Definition: relation.c:3022
Definition: int.h:79
osl_int_t ** m
Definition: relation.h:114
osl_relation_p osl_relation_malloc(int, int)
Definition: relation.c:1694
void osl_relation_set_attributes_one(osl_relation_p, int, int, int, int)
Definition: relation.c:2667
int nb_input_dims
Definition: relation.h:110
struct osl_relation * osl_relation_p
Definition: relation.h:121
void osl_relation_remove_column(osl_relation_p, int)
Definition: relation.c:2265
int precision
Definition: relation.h:106
char * osl_relation_expression(osl_relation_p relation, int row, char **names)
Definition: relation.c:466
osl_relation_p osl_relation_union(osl_relation_p, osl_relation_p)
Definition: relation.c:1897
void osl_relation_pprint_scoplib(FILE *, osl_relation_p, osl_names_p, int, int)
Definition: relation.c:1260
osl_relation_p osl_relation_pread(FILE *, int)
Definition: relation.c:1382
osl_relation_p osl_relation_concat_constraints(osl_relation_p, osl_relation_p)
Definition: relation.c:2362
void osl_relation_insert_blank_column(osl_relation_p, int)
Definition: relation.c:2063
void osl_relation_replace_vector(osl_relation_p, osl_vector_p, int)
Definition: relation.c:1921
osl_relation_p osl_relation_nclone(osl_relation_p, int)
Definition: relation.c:1758
void osl_relation_insert_constraints(osl_relation_p, osl_relation_p, int)
Definition: relation.c:2153
osl_relation_p osl_relation_psread_polylib(char **, int)
Definition: relation.c:1497
osl_relation_p osl_relation_sread_polylib(char **)
Definition: relation.c:1607
char * osl_relation_spprint_polylib_scoplib(osl_relation_p, osl_names_p, int, int)
Definition: relation.c:919
void osl_relation_insert_columns(osl_relation_p, osl_relation_p, int)
Definition: relation.c:2309
osl_relation_p osl_relation_clone_nconstraints(osl_relation_p, int)
Definition: relation.c:1811
void osl_relation_pprint(FILE *, osl_relation_p, osl_names_p)
Definition: relation.c:1242
osl_relation_p osl_relation_psread(char **, int)
Definition: relation.c:1475
void osl_relation_print(FILE *, osl_relation_p)
Definition: relation.c:1290
void osl_relation_swap_constraints(osl_relation_p, int, int)
Definition: relation.c:2202
void osl_relation_remove_row(osl_relation_p, int)
Definition: relation.c:2225
osl_relation_p osl_relation_sread(char **)
Definition: relation.c:1595
void osl_relation_sub_vector(osl_relation_p, osl_vector_p, int)
Definition: relation.c:1973
void * usr
Definition: relation.h:116
int osl_relation_nb_components(osl_relation_p relation)
Definition: relation.c:797
void osl_relation_set_type(osl_relation_p, int)
Definition: relation.c:2708
char * osl_relation_sprint(osl_relation_p)
Definition: relation.c:1277
osl_interface_p osl_relation_interface()
Definition: relation.c:3000