Blame isl-0.14/isl_bernstein.h

Packit fb9d21
#include <isl_bound.h>
Packit fb9d21
Packit fb9d21
int isl_qpolynomial_bound_on_domain_bernstein(__isl_take isl_basic_set *bset,
Packit fb9d21
	__isl_take isl_qpolynomial *poly, struct isl_bound *bound);