add isl_aff_plain_is_equal
[isl.git] / include / isl / aff.h
blob64d16d8f3edff3a7988e09d084dd9029fb148bbb
1 #ifndef ISL_AFF_H
2 #define ISL_AFF_H
4 #include <isl/div.h>
5 #include <isl/local_space.h>
6 #include <isl/printer.h>
8 #if defined(__cplusplus)
9 extern "C" {
10 #endif
12 struct isl_aff;
13 typedef struct isl_aff isl_aff;
15 __isl_give isl_aff *isl_aff_zero(__isl_take isl_local_space *ls);
17 __isl_give isl_aff *isl_aff_copy(__isl_keep isl_aff *aff);
18 void *isl_aff_free(__isl_take isl_aff *aff);
20 isl_ctx *isl_aff_get_ctx(__isl_keep isl_aff *aff);
22 int isl_aff_dim(__isl_keep isl_aff *aff, enum isl_dim_type type);
24 __isl_give isl_dim *isl_aff_get_dim(__isl_keep isl_aff *aff);
25 __isl_give isl_local_space *isl_aff_get_local_space(__isl_keep isl_aff *aff);
27 const char *isl_aff_get_dim_name(__isl_keep isl_aff *aff,
28 enum isl_dim_type type, unsigned pos);
29 int isl_aff_get_constant(__isl_keep isl_aff *aff, isl_int *v);
30 int isl_aff_get_coefficient(__isl_keep isl_aff *aff,
31 enum isl_dim_type type, int pos, isl_int *v);
32 int isl_aff_get_denominator(__isl_keep isl_aff *aff, isl_int *v);
33 __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v);
34 __isl_give isl_aff *isl_aff_set_constant_si(__isl_take isl_aff *aff, int v);
35 __isl_give isl_aff *isl_aff_set_coefficient(__isl_take isl_aff *aff,
36 enum isl_dim_type type, int pos, isl_int v);
37 __isl_give isl_aff *isl_aff_set_coefficient_si(__isl_take isl_aff *aff,
38 enum isl_dim_type type, int pos, int v);
39 __isl_give isl_aff *isl_aff_set_denominator(__isl_take isl_aff *aff, isl_int v);
40 __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v);
41 __isl_give isl_aff *isl_aff_add_constant_si(__isl_take isl_aff *aff, int v);
42 __isl_give isl_aff *isl_aff_add_coefficient_si(__isl_take isl_aff *aff,
43 enum isl_dim_type type, int pos, int v);
45 int isl_aff_plain_is_equal(__isl_keep isl_aff *aff1, __isl_keep isl_aff *aff2);
46 int isl_aff_plain_is_zero(__isl_keep isl_aff *aff);
48 __isl_give isl_div *isl_aff_get_div(__isl_keep isl_aff *aff, int pos);
50 __isl_give isl_aff *isl_aff_neg(__isl_take isl_aff *aff);
51 __isl_give isl_aff *isl_aff_ceil(__isl_take isl_aff *aff);
52 __isl_give isl_aff *isl_aff_floor(__isl_take isl_aff *aff);
54 __isl_give isl_aff *isl_aff_add(__isl_take isl_aff *aff1,
55 __isl_take isl_aff *aff2);
56 __isl_give isl_aff *isl_aff_sub(__isl_take isl_aff *aff1,
57 __isl_take isl_aff *aff2);
59 __isl_give isl_aff *isl_aff_scale(__isl_take isl_aff *aff, isl_int f);
60 __isl_give isl_aff *isl_aff_scale_down(__isl_take isl_aff *aff, isl_int f);
61 __isl_give isl_aff *isl_aff_scale_down_ui(__isl_take isl_aff *aff, unsigned f);
63 __isl_give isl_printer *isl_printer_print_aff(__isl_take isl_printer *p,
64 __isl_keep isl_aff *aff);
65 void isl_aff_dump(__isl_keep isl_aff *aff);
67 #if defined(__cplusplus)
69 #endif
71 #endif