3 #if defined(__cplusplus)
8 /* The CloogMatrix structure is equivalent to the PolyLib Matrix data structure
9 * (see Wil93). This structure is devoted to represent a set of constraints.
11 * The whole matrix is stored in memory row after row at the p_Init address. p
12 * is an array of pointers where p[i] points to the first element of the i^{th
13 * row. NbRows and NbColumns are respectively the number of rows and columns of
14 * the matrix. Each row corresponds to a constraint. The first element of each
15 * row is an equality/inequality tag. The constraint is an equality p(x) = 0 if
16 * the first element is 0, but it is an inequality p(x) \geq 0 if the first
17 * element is 1. The next elements are the unknown coefficients, followed by
18 * the parameter coefficients, then the constant term. For instance, the
19 * following three constraints:
25 * would be represented by the following rows:
27 * # eq/in i j k m n cst
32 * To be able to provide different precision version (CLooG supports 32 bits,
33 * 64 bits and arbitrary precision through the GMP library), the cloog_int_t
34 * type depends on the configuration options (it may be long int for 32 bits
35 * version, long long int for 64 bits version, and mpz_t for multiple precision
39 { unsigned NbRows
; /* Number of rows. */
40 unsigned NbColumns
; /* Number of columns. */
41 cloog_int_t
** p
; /* Array of pointers to the matrix rows. */
42 cloog_int_t
* p_Init
; /* Matrix rows contiguously in memory. */
45 typedef struct cloogmatrix CloogMatrix
;
47 CloogMatrix
*cloog_matrix_alloc (unsigned, unsigned);
48 void cloog_matrix_free (CloogMatrix
*);
49 void cloog_matrix_print_structure(FILE *file
, CloogMatrix
*M
,
50 const char *prefix
, const char *suffix
);
51 void cloog_matrix_print(FILE*, CloogMatrix
*);
53 #if defined(__cplusplus)
56 #endif /* define _H */