isl_map_coalesce: avoid ignoring constraints redundant wrt implicit equalities
[isl.git] / isl_range.h
blob6a5dd4a42e36c9741d86357cc3188373dfdd3ebe
1 #include <isl_bound.h>
3 isl_stat isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset,
4 __isl_take isl_qpolynomial *poly, struct isl_bound *bound);
5 __isl_give isl_qpolynomial *isl_qpolynomial_terms_of_sign(
6 __isl_keep isl_qpolynomial *poly, int *signs, int sign);