1239691Srwatson#ifndef ISL_CONSTRAINT_PRIVATE_H 2239691Srwatson#define ISL_CONSTRAINT_PRIVATE_H 3239691Srwatson 4239691Srwatson#include <isl/constraint.h> 5239691Srwatson#include <isl/local_space.h> 6239691Srwatson#include <isl/vec.h> 7239691Srwatson 8239691Srwatsonstruct isl_constraint { 9239691Srwatson int ref; 10239691Srwatson 11239691Srwatson int eq; 12239691Srwatson isl_local_space *ls; 13239691Srwatson isl_vec *v; 14239691Srwatson}; 15239691Srwatson 16239691Srwatson#undef EL 17239691Srwatson#define EL isl_constraint 18239691Srwatson 19239691Srwatson#include <isl_list_templ.h> 20239691Srwatson 21239691Srwatson__isl_give isl_constraint *isl_basic_set_constraint( 22239691Srwatson __isl_take isl_basic_set *bset, isl_int **line); 23239691Srwatson 24239691Srwatsonvoid isl_constraint_get_constant(__isl_keep isl_constraint *constraint, 25239691Srwatson isl_int *v); 26239691Srwatsonvoid isl_constraint_get_coefficient(__isl_keep isl_constraint *constraint, 27239691Srwatson enum isl_dim_type type, int pos, isl_int *v); 28239691Srwatson 29239691Srwatsonisl_bool isl_constraint_is_div_equality(__isl_keep isl_constraint *constraint, 30239691Srwatson unsigned div); 31239691Srwatson 32239691Srwatson#endif 33239691Srwatson