#ifndef ISL_BOUND_H

#define ISL_BOUND_H

#include <isl/polynomial.h>

struct isl_bound {

	/* input */

	int check_tight;

	int wrapping;

	enum isl_fold type;

	isl_space *dim;

	isl_basic_set *bset;

	isl_qpolynomial_fold *fold;

	/* output */

	isl_pw_qpolynomial_fold *pwf;

	isl_pw_qpolynomial_fold *pwf_tight;

};

#endif