include/isl/constraint.h

/*
 * Copyright 2008-2009 Katholieke Universiteit Leuven
 *
 * Use of this software is governed by the MIT license
 *
 * Written by Sven Verdoolaege, K.U.Leuven, Departement
 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
 */

#ifndef ISL_CONSTRAINT_H
#define ISL_CONSTRAINT_H

#include <isl/local_space.h>
#include <isl/space_type.h>
#include <isl/aff_type.h>
#include <isl/set_type.h>
#include <isl/list.h>
#include <isl/val_type.h>
#include <isl/printer.h>

#if defined(__cplusplus)
extern "C" {
#endif

struct isl_constraint;
typedef struct isl_constraint isl_constraint;

ISL_DECLARE_LIST(constraint)

isl_ctx *isl_constraint_get_ctx(__isl_keep isl_constraint *c);

__isl_give isl_constraint *isl_constraint_alloc_equality(
        __isl_take isl_local_space *ls);
__isl_give isl_constraint *isl_constraint_alloc_inequality(
        __isl_take isl_local_space *ls);
__isl_give isl_constraint *isl_equality_alloc(__isl_take isl_local_space *ls);
__isl_give isl_constraint *isl_inequality_alloc(__isl_take isl_local_space *ls);

__isl_give isl_constraint *isl_constraint_copy(__isl_keep isl_constraint *c);
__isl_null isl_constraint *isl_constraint_free(__isl_take isl_constraint *c);

isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap);
isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset);
isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
        isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user);
isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset,
        isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user);
__isl_give isl_constraint_list *isl_basic_map_get_constraint_list(
        __isl_keep isl_basic_map *bmap);
__isl_give isl_constraint_list *isl_basic_set_get_constraint_list(
        __isl_keep isl_basic_set *bset);
int isl_constraint_is_equal(__isl_keep isl_constraint *constraint1,
                            __isl_keep isl_constraint *constraint2);

isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
        enum isl_dim_type type, unsigned pos,
        isl_stat (*fn)(__isl_take isl_constraint *lower,
                  __isl_take isl_constraint *upper,
                  __isl_take isl_basic_set *bset, void *user), void *user);

__isl_give isl_basic_map *isl_basic_map_add_constraint(
        __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint);
__isl_give isl_basic_set *isl_basic_set_add_constraint(
        __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint);
__isl_give isl_map *isl_map_add_constraint(__isl_take isl_map *map,
        __isl_take isl_constraint *constraint);
__isl_give isl_set *isl_set_add_constraint(__isl_take isl_set *set,
        __isl_take isl_constraint *constraint);

isl_bool isl_basic_map_has_defining_equality(
        __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
        __isl_give isl_constraint **c);
isl_bool isl_basic_set_has_defining_equality(
        struct isl_basic_set *bset, enum isl_dim_type type, int pos,
        struct isl_constraint **constraint);
isl_bool isl_basic_set_has_defining_inequalities(
        struct isl_basic_set *bset, enum isl_dim_type type, int pos,
        struct isl_constraint **lower,
        struct isl_constraint **upper);

__isl_give isl_space *isl_constraint_get_space(
        __isl_keep isl_constraint *constraint);
__isl_give isl_local_space *isl_constraint_get_local_space(
        __isl_keep isl_constraint *constraint);
isl_size isl_constraint_dim(__isl_keep isl_constraint *constraint,
        enum isl_dim_type type);

isl_bool isl_constraint_involves_dims(__isl_keep isl_constraint *constraint,
        enum isl_dim_type type, unsigned first, unsigned n);

const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constraint,
        enum isl_dim_type type, unsigned pos);
__isl_give isl_val *isl_constraint_get_constant_val(
        __isl_keep isl_constraint *constraint);
__isl_give isl_val *isl_constraint_get_coefficient_val(
        __isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
__isl_give isl_constraint *isl_constraint_set_constant_si(
        __isl_take isl_constraint *constraint, int v);
__isl_give isl_constraint *isl_constraint_set_constant_val(
        __isl_take isl_constraint *constraint, __isl_take isl_val *v);
__isl_give isl_constraint *isl_constraint_set_coefficient_si(
        __isl_take isl_constraint *constraint,
        enum isl_dim_type type, int pos, int v);
__isl_give isl_constraint *isl_constraint_set_coefficient_val(
        __isl_take isl_constraint *constraint,
        enum isl_dim_type type, int pos, __isl_take isl_val *v);

__isl_give isl_aff *isl_constraint_get_div(__isl_keep isl_constraint *constraint,
        int pos);

__isl_give isl_constraint *isl_constraint_negate(
        __isl_take isl_constraint *constraint);

isl_bool isl_constraint_is_equality(__isl_keep isl_constraint *constraint);
isl_bool isl_constraint_is_div_constraint(
        __isl_keep isl_constraint *constraint);

isl_bool isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint,
        enum isl_dim_type type, unsigned pos);
isl_bool isl_constraint_is_upper_bound(__isl_keep isl_constraint *constraint,
        enum isl_dim_type type, unsigned pos);

__isl_give isl_basic_map *isl_basic_map_from_constraint(
        __isl_take isl_constraint *constraint);
__isl_give isl_basic_set *isl_basic_set_from_constraint(
        __isl_take isl_constraint *constraint);

__isl_give isl_aff *isl_constraint_get_bound(
        __isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
__isl_give isl_aff *isl_constraint_get_aff(
        __isl_keep isl_constraint *constraint);
__isl_give isl_constraint *isl_equality_from_aff(__isl_take isl_aff *aff);
__isl_give isl_constraint *isl_inequality_from_aff(__isl_take isl_aff *aff);

int isl_constraint_plain_cmp(__isl_keep isl_constraint *c1,
        __isl_keep isl_constraint *c2);
int isl_constraint_cmp_last_non_zero(__isl_keep isl_constraint *c1,
        __isl_keep isl_constraint *c2);

__isl_give isl_printer *isl_printer_print_constraint(__isl_take isl_printer *p,
        __isl_keep isl_constraint *c);
void isl_constraint_dump(__isl_keep isl_constraint *c);

#if defined(__cplusplus)
}
#endif

#endif
Revision:	1166
Committed:	Tue Oct 26 14:22:36 2021 UTC (4 years ago) by rossy
Content type:	text/x-chdr
File size:	5998 byte(s)
Log Message:	Daodan: Replace MinGW build env with an up-to-date MSYS2 env
#	Content
1	/*
2	* Copyright 2008-2009 Katholieke Universiteit Leuven
3	*
4	* Use of this software is governed by the MIT license
5	*
6	* Written by Sven Verdoolaege, K.U.Leuven, Departement
7	* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8	*/
9
10	#ifndef ISL_CONSTRAINT_H
11	#define ISL_CONSTRAINT_H
12
13	#include <isl/local_space.h>
14	#include <isl/space_type.h>
15	#include <isl/aff_type.h>
16	#include <isl/set_type.h>
17	#include <isl/list.h>
18	#include <isl/val_type.h>
19	#include <isl/printer.h>
20
21	#if defined(__cplusplus)
22	extern "C" {
23	#endif
24
25	struct isl_constraint;
26	typedef struct isl_constraint isl_constraint;
27
28	ISL_DECLARE_LIST(constraint)
29
30	isl_ctx isl_constraint_get_ctx(__isl_keep isl_constraint c);
31
32	__isl_give isl_constraint *isl_constraint_alloc_equality(
33	__isl_take isl_local_space *ls);
34	__isl_give isl_constraint *isl_constraint_alloc_inequality(
35	__isl_take isl_local_space *ls);
36	__isl_give isl_constraint isl_equality_alloc(__isl_take isl_local_space ls);
37	__isl_give isl_constraint isl_inequality_alloc(__isl_take isl_local_space ls);
38
39	__isl_give isl_constraint isl_constraint_copy(__isl_keep isl_constraint c);
40	__isl_null isl_constraint isl_constraint_free(__isl_take isl_constraint c);
41
42	isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap);
43	isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset);
44	isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
45	isl_stat (fn)(__isl_take isl_constraint c, void user), void user);
46	isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset,
47	isl_stat (fn)(__isl_take isl_constraint c, void user), void user);
48	__isl_give isl_constraint_list *isl_basic_map_get_constraint_list(
49	__isl_keep isl_basic_map *bmap);
50	__isl_give isl_constraint_list *isl_basic_set_get_constraint_list(
51	__isl_keep isl_basic_set *bset);
52	int isl_constraint_is_equal(__isl_keep isl_constraint *constraint1,
53	__isl_keep isl_constraint *constraint2);
54
55	isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset,
56	enum isl_dim_type type, unsigned pos,
57	isl_stat (fn)(__isl_take isl_constraint lower,
58	__isl_take isl_constraint *upper,
59	__isl_take isl_basic_set bset, void user), void *user);
60
61	__isl_give isl_basic_map *isl_basic_map_add_constraint(
62	__isl_take isl_basic_map bmap, __isl_take isl_constraint constraint);
63	__isl_give isl_basic_set *isl_basic_set_add_constraint(
64	__isl_take isl_basic_set bset, __isl_take isl_constraint constraint);
65	__isl_give isl_map isl_map_add_constraint(__isl_take isl_map map,
66	__isl_take isl_constraint *constraint);
67	__isl_give isl_set isl_set_add_constraint(__isl_take isl_set set,
68	__isl_take isl_constraint *constraint);
69
70	isl_bool isl_basic_map_has_defining_equality(
71	__isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
72	__isl_give isl_constraint **c);
73	isl_bool isl_basic_set_has_defining_equality(
74	struct isl_basic_set *bset, enum isl_dim_type type, int pos,
75	struct isl_constraint **constraint);
76	isl_bool isl_basic_set_has_defining_inequalities(
77	struct isl_basic_set *bset, enum isl_dim_type type, int pos,
78	struct isl_constraint **lower,
79	struct isl_constraint **upper);
80
81	__isl_give isl_space *isl_constraint_get_space(
82	__isl_keep isl_constraint *constraint);
83	__isl_give isl_local_space *isl_constraint_get_local_space(
84	__isl_keep isl_constraint *constraint);
85	isl_size isl_constraint_dim(__isl_keep isl_constraint *constraint,
86	enum isl_dim_type type);
87
88	isl_bool isl_constraint_involves_dims(__isl_keep isl_constraint *constraint,
89	enum isl_dim_type type, unsigned first, unsigned n);
90
91	const char isl_constraint_get_dim_name(__isl_keep isl_constraint constraint,
92	enum isl_dim_type type, unsigned pos);
93	__isl_give isl_val *isl_constraint_get_constant_val(
94	__isl_keep isl_constraint *constraint);
95	__isl_give isl_val *isl_constraint_get_coefficient_val(
96	__isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
97	__isl_give isl_constraint *isl_constraint_set_constant_si(
98	__isl_take isl_constraint *constraint, int v);
99	__isl_give isl_constraint *isl_constraint_set_constant_val(
100	__isl_take isl_constraint constraint, __isl_take isl_val v);
101	__isl_give isl_constraint *isl_constraint_set_coefficient_si(
102	__isl_take isl_constraint *constraint,
103	enum isl_dim_type type, int pos, int v);
104	__isl_give isl_constraint *isl_constraint_set_coefficient_val(
105	__isl_take isl_constraint *constraint,
106	enum isl_dim_type type, int pos, __isl_take isl_val *v);
107
108	__isl_give isl_aff isl_constraint_get_div(__isl_keep isl_constraint constraint,
109	int pos);
110
111	__isl_give isl_constraint *isl_constraint_negate(
112	__isl_take isl_constraint *constraint);
113
114	isl_bool isl_constraint_is_equality(__isl_keep isl_constraint *constraint);
115	isl_bool isl_constraint_is_div_constraint(
116	__isl_keep isl_constraint *constraint);
117
118	isl_bool isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint,
119	enum isl_dim_type type, unsigned pos);
120	isl_bool isl_constraint_is_upper_bound(__isl_keep isl_constraint *constraint,
121	enum isl_dim_type type, unsigned pos);
122
123	__isl_give isl_basic_map *isl_basic_map_from_constraint(
124	__isl_take isl_constraint *constraint);
125	__isl_give isl_basic_set *isl_basic_set_from_constraint(
126	__isl_take isl_constraint *constraint);
127
128	__isl_give isl_aff *isl_constraint_get_bound(
129	__isl_keep isl_constraint *constraint, enum isl_dim_type type, int pos);
130	__isl_give isl_aff *isl_constraint_get_aff(
131	__isl_keep isl_constraint *constraint);
132	__isl_give isl_constraint isl_equality_from_aff(__isl_take isl_aff aff);
133	__isl_give isl_constraint isl_inequality_from_aff(__isl_take isl_aff aff);
134
135	int isl_constraint_plain_cmp(__isl_keep isl_constraint *c1,
136	__isl_keep isl_constraint *c2);
137	int isl_constraint_cmp_last_non_zero(__isl_keep isl_constraint *c1,
138	__isl_keep isl_constraint *c2);
139
140	__isl_give isl_printer isl_printer_print_constraint(__isl_take isl_printer p,
141	__isl_keep isl_constraint *c);
142	void isl_constraint_dump(__isl_keep isl_constraint *c);
143
144	#if defined(__cplusplus)
145	}
146	#endif
147
148	#endif