Blame isl-0.14/isl_range.h
|
Packit |
fb9d21 |
#include <isl_bound.h>
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
int isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset,
|
|
Packit |
fb9d21 |
__isl_take isl_qpolynomial *poly, struct isl_bound *bound);
|
|
Packit |
fb9d21 |
__isl_give isl_qpolynomial *isl_qpolynomial_terms_of_sign(
|
|
Packit |
fb9d21 |
__isl_keep isl_qpolynomial *poly, int *signs, int sign);
|