Searched refs:isl_sol (Results 1 – 1 of 1) sorted by relevance
149 struct isl_sol;152 struct isl_sol *sol;182 struct isl_sol { struct191 void (*add)(struct isl_sol *sol, argument193 void (*add_empty)(struct isl_sol *sol, struct isl_basic_set *bset); argument194 void (*free)(struct isl_sol *sol); argument198 static void sol_free(struct isl_sol *sol) in sol_free()220 static void sol_context_add_eq(struct isl_sol *sol, isl_int *eq, int check, in sol_context_add_eq()232 static void sol_context_add_ineq(struct isl_sol *sol, isl_int *ineq, int check, in sol_context_add_ineq()247 static void sol_push_sol(struct isl_sol *sol, in sol_push_sol()[all …]