isl_input.c add_equalities: gauss and finalize result after adding equalities
[platform/upstream/isl.git] / isl_range.h
1 #include <isl_bound.h>
2
3 int isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset,
4         __isl_take isl_qpolynomial *poly, struct isl_bound *bound);