1 #ifndef ISL_OBJ_H
2 #define ISL_OBJ_H
3 
4 #include <isl/set_type.h>
5 #include <isl/map_type.h>
6 #include <isl/union_set_type.h>
7 #include <isl/union_map_type.h>
8 #include <isl/polynomial_type.h>
9 #include <isl/printer.h>
10 
11 #if defined(__cplusplus)
12 extern "C" {
13 #endif
14 
15 struct isl_obj_vtable {
16 	void *(*copy)(void *v1);
17 	void *(*add)(void *v1, void *v2);
18 	__isl_give isl_printer *(*print)(__isl_take isl_printer *p, void *v);
19 	void (*free)(void *v);
20 };
21 typedef struct isl_obj_vtable *isl_obj_type;
22 extern struct isl_obj_vtable isl_obj_none_vtable;
23 #define isl_obj_none		(&isl_obj_none_vtable)
24 extern struct isl_obj_vtable isl_obj_int_vtable;
25 #define isl_obj_int		(&isl_obj_int_vtable)
26 extern struct isl_obj_vtable isl_obj_set_vtable;
27 #define isl_obj_set		(&isl_obj_set_vtable)
28 extern struct isl_obj_vtable isl_obj_union_set_vtable;
29 #define isl_obj_union_set	(&isl_obj_union_set_vtable)
30 extern struct isl_obj_vtable isl_obj_map_vtable;
31 #define isl_obj_map		(&isl_obj_map_vtable)
32 extern struct isl_obj_vtable isl_obj_union_map_vtable;
33 #define isl_obj_union_map	(&isl_obj_union_map_vtable)
34 extern struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable;
35 #define isl_obj_pw_qpolynomial	(&isl_obj_pw_qpolynomial_vtable)
36 extern struct isl_obj_vtable isl_obj_union_pw_qpolynomial_vtable;
37 #define isl_obj_union_pw_qpolynomial	(&isl_obj_union_pw_qpolynomial_vtable)
38 extern struct isl_obj_vtable isl_obj_pw_qpolynomial_fold_vtable;
39 #define isl_obj_pw_qpolynomial_fold	(&isl_obj_pw_qpolynomial_fold_vtable)
40 extern struct isl_obj_vtable isl_obj_union_pw_qpolynomial_fold_vtable;
41 #define isl_obj_union_pw_qpolynomial_fold	(&isl_obj_union_pw_qpolynomial_fold_vtable)
42 struct isl_obj {
43 	isl_obj_type	type;
44 	void		*v;
45 };
46 
47 struct isl_int_obj;
48 typedef struct isl_int_obj isl_int_obj;
49 
50 __isl_give isl_int_obj *isl_int_obj_alloc(isl_ctx *ctx, isl_int v);
51 void isl_int_obj_free(__isl_take isl_int_obj *i);
52 __isl_give isl_int_obj *isl_int_obj_add(__isl_take isl_int_obj *i1,
53 	__isl_take isl_int_obj *i2);
54 __isl_give isl_int_obj *isl_int_obj_sub(__isl_take isl_int_obj *i1,
55 	__isl_take isl_int_obj *i2);
56 __isl_give isl_int_obj *isl_int_obj_mul(__isl_take isl_int_obj *i1,
57 	__isl_take isl_int_obj *i2);
58 void isl_int_obj_get_int(__isl_keep isl_int_obj *i, isl_int *v);
59 
60 #if defined(__cplusplus)
61 }
62 #endif
63 
64 #endif
65