isl_solve_lp: use tableaus instead of calling piplib (by default)
[platform/upstream/isl.git] / include / isl_div.h
1 #ifndef ISL_DIV_H
2 #define ISL_DIV_H
3
4 #include "isl_dim.h"
5
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
9
10 struct isl_div {
11         int ref;
12         struct isl_ctx *ctx;
13
14         struct isl_basic_map    *bmap;
15         isl_int                 **line;
16 };
17
18 struct isl_div *isl_div_alloc(struct isl_dim *dim);
19 struct isl_div *isl_basic_map_div(struct isl_basic_map *bmap, isl_int **line);
20 struct isl_div *isl_div_free(struct isl_div *c);
21
22 void isl_div_get_constant(struct isl_div *div, isl_int *v);
23 void isl_div_get_denominator(struct isl_div *div, isl_int *v);
24 void isl_div_get_coefficient(struct isl_div *div,
25         enum isl_dim_type type, int pos, isl_int *v);
26 void isl_div_set_constant(struct isl_div *div, isl_int v);
27 void isl_div_set_denominator(struct isl_div *div, isl_int v);
28 void isl_div_set_coefficient(struct isl_div *div,
29         enum isl_dim_type type, int pos, isl_int v);
30
31 #if defined(__cplusplus)
32 }
33 #endif
34
35 #endif