Lines Matching refs:nparam
831 isl_size nparam = isl_basic_map_dim(bmap, isl_dim_param); in isl_basic_map_image_is_bounded() local
835 if (nparam < 0 || n_in < 0) in isl_basic_map_image_is_bounded()
840 bmap = isl_basic_map_move_dims(bmap, isl_dim_param, nparam, in isl_basic_map_image_is_bounded()
3085 isl_size nparam, dim, total; in isl_set_bounded_simple_hull() local
3090 nparam = isl_basic_set_dim(hull, isl_dim_param); in isl_set_bounded_simple_hull()
3093 if (nparam < 0 || dim < 0 || total < 0) in isl_set_bounded_simple_hull()
3100 left = total - nparam - i - 1; in isl_set_bounded_simple_hull()
3102 if (isl_int_is_zero(hull->eq[j][1 + nparam + i])) in isl_set_bounded_simple_hull()
3104 if (isl_seq_first_non_zero(hull->eq[j]+1+nparam+i+1, in isl_set_bounded_simple_hull()
3112 if (isl_int_is_zero(hull->ineq[j][1 + nparam + i])) in isl_set_bounded_simple_hull()
3114 if (isl_seq_first_non_zero(hull->ineq[j]+1+nparam+i+1, in isl_set_bounded_simple_hull()
3116 isl_seq_first_non_zero(hull->ineq[j]+1+nparam, in isl_set_bounded_simple_hull()
3119 if (isl_int_is_pos(hull->ineq[j][1 + nparam + i])) in isl_set_bounded_simple_hull()