reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

  225 	isl_assert(bset1->ctx, row == bset1->n_eq, goto error);
  308 	isl_assert(bset->ctx, bset->n_div == 0, goto error);
  565 	isl_assert(ctx, vec->size != 0, goto error);
  617 	isl_assert(tab->mat->ctx, tab->bmap, goto error);
  618 	isl_assert(tab->mat->ctx, tab->samples, goto error);
  619 	isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
  620 	isl_assert(tab->mat->ctx, tab->n_sample > tab->n_outside, goto error);

   74 	isl_assert(vertex->ctx, !isl_int_is_zero(denom), goto error);
  157 	isl_assert(ctx, n >= 2, return);

  226 	isl_assert(bmap->ctx, ISL_F_ISSET(bmap, ISL_BASIC_MAP_FINAL),
  341 	isl_assert(ctx, equal_space, goto error);
 1196 	isl_assert(bset->ctx, pos < isl_basic_set_dim(bset, type),
 1198 	isl_assert(bset->ctx, type == isl_dim_param || type == isl_dim_set,

  172 	isl_assert(bset->ctx, isl_basic_set_n_param(bset) == 0, goto error);
  173 	isl_assert(bset->ctx, bset->n_div == 0, goto error);
  389 	isl_assert(ctx, res == isl_lp_ok || res == isl_lp_unbounded, 
  421 	isl_assert(set->ctx, set->n > 0, goto error);
  431 	isl_assert(set->ctx, is_bound, goto error);
  450 		isl_assert(set->ctx, i < face->n_eq, goto error);
  570 	isl_assert(set->ctx, set->n > 0, goto error);
  638 	isl_assert(set->ctx, set->n > 0, goto error);
  644 		isl_assert(set->ctx, set->p[0]->n_eq == 1, goto error);
 1505 	isl_assert(set->ctx, 1 + dim == bounds->n_col, goto error);
 1642 		isl_assert(hull->ctx, !entry->data, goto error);

  249 	isl_assert(ctx, ctx->ref > 0, return);

  200 	isl_assert(T->ctx, isl_int_is_one(T->row[0][0]), goto error);
  318 	isl_assert(B->ctx, B->n_row == d->size, goto error);
  675 	isl_assert(bset->ctx, isl_basic_set_n_param(bset) == 0, goto error);
  676 	isl_assert(bset->ctx, bset->n_div == 0, goto error);
  678 	isl_assert(bset->ctx, bset->n_eq <= dim, goto error);
  714 	isl_assert(bset->ctx, isl_basic_set_n_param(bset) == 0, goto error);

  195 			isl_assert(H->ctx, g->cnt[g->group[k]] != 0, return -1);
  196 			isl_assert(H->ctx, g->cnt[g->group[i]] != 0, return -1);
  268 	isl_assert(bset->ctx, isl_basic_set_dim(bset, isl_dim_div) == 0,

  224 	isl_assert(ctx, max_source >= 0, goto error);
  292 	isl_assert(ctx, acc->n_must + acc->n_may < acc->max_source, goto error);

   50 	isl_assert(dim->ctx, n >= 0, goto error);
  443 	isl_assert(fold1->dim->ctx, fold1->type == fold2->type, goto error);
  444 	isl_assert(fold1->dim->ctx, isl_space_is_equal(fold1->dim, fold2->dim),
  822 	isl_assert(fold1->dim->ctx, fold1->type == fold2->type, goto error);
  823 	isl_assert(fold1->dim->ctx, isl_space_is_equal(fold1->dim, fold2->dim),
  877 	isl_assert(pw1->dim->ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error);
 1096 	isl_assert(pnt->dim->ctx, isl_space_is_equal(pnt->dim, fold->dim), goto error);
 1097 	isl_assert(pnt->dim->ctx,
 1277 	isl_assert(ctx, isl_space_is_equal(fold->dim, morph->dom->dim), goto error);

  219 	isl_assert(ctx, h >= 0 && h < size, return);

  316 	isl_assert(bset->ctx, isl_basic_set_n_param(bset) == 0,

 1914 	isl_assert(s->ctx, type == 0 || type == 1, goto error);
 1986 	isl_assert(s->ctx, !on_new_line, return NULL);
 1987 	isl_assert(s->ctx, n_row >= 0, return NULL);
 1988 	isl_assert(s->ctx, n_col >= 2 + nparam, return NULL);
 2095 	isl_assert(s->ctx, n >= 1, return NULL);
 2453 		isl_assert(ctx, 0, goto error);
 2742 		isl_assert(s->ctx, obj.type == isl_obj_map ||
 2764 		isl_assert(s->ctx, obj.type == isl_obj_set, goto error);
 2810 		isl_assert(ctx, obj.type == isl_obj_union_set, goto error);
 3079 		isl_assert(s->ctx, obj.type == isl_obj_pw_qpolynomial,
 4203 		isl_assert(s->ctx, obj.type == isl_obj_union_pw_qpolynomial,

 1181 	isl_assert(dim->ctx, dim->n_in == 0, goto error);
 1429 	isl_assert(ctx, room_for_con(bmap, 1), return -1);
 1430 	isl_assert(ctx, (bmap->eq - bmap->ineq) + bmap->n_eq <= bmap->c_size,
 1465 	isl_assert(bmap->ctx, n <= bmap->n_eq, return -1);
 1480 	isl_assert(bmap->ctx, pos < bmap->n_eq, return -1);
 1527 	isl_assert(ctx, room_for_ineq(bmap, 1), return -1);
 1547 	isl_assert(bmap->ctx, n <= bmap->n_ineq, return -1);
 1562 	isl_assert(bmap->ctx, pos < bmap->n_ineq, return -1);
 1631 	isl_assert(bmap->ctx, bmap->n_div < bmap->extra, return -1);
 1701 	isl_assert(bmap->ctx, n <= bmap->n_div, return isl_stat_error);
 1834 	isl_assert(base->ctx, base->dim->nparam <= dim->nparam, goto error);
 1835 	isl_assert(base->ctx, base->dim->n_in <= dim->n_in, goto error);
 1836 	isl_assert(base->ctx, base->dim->n_out <= dim->n_out, goto error);
 1995 	isl_assert(bmap->ctx,
 2250 	isl_assert(bmap->ctx, first + n <= dim, goto error);
 2356 	isl_assert(bmap->ctx, div < bmap->n_div, goto error);
 3348 	isl_assert(bmap->ctx, pos < bmap->n_ineq, return -1);
 3378 	isl_assert(map->ctx, n >= 0, goto error);
 3483 		isl_assert(bset->ctx,
 3610 		isl_assert(bmap1->ctx,
 3676 	isl_assert(map1->ctx, map1->n == 1, goto error);
 3677 	isl_assert(map2->ctx, map1->n == 1, goto error);
 3678 	isl_assert(map1->ctx, map1->p[0]->n_div == 0, goto error);
 3679 	isl_assert(map2->ctx, map1->p[0]->n_div == 0, goto error);
 3762 		isl_assert(map1->ctx,
 3949 	isl_assert(bset->ctx, type != isl_dim_in, goto error);
 4017 	isl_assert(set->ctx, type != isl_dim_in, goto error);
 4048 	isl_assert(bmap->ctx, dst_type != src_type, goto error);
 4134 	isl_assert(set->ctx, dst_type != isl_dim_in, goto error);
 4160 	isl_assert(map->ctx, dst_type != src_type, goto error);
 4540 	isl_assert(bset->ctx, isl_basic_map_compatible_domain(bmap, bset),
 4584 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim),
 4641 	isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error);
 5409 	isl_assert(ctx, bset->n_div == 0, goto error);
 5410 	isl_assert(ctx, isl_basic_set_n_param(bset) == 0, goto error);
 5411 	isl_assert(ctx, bset->dim->n_out == isl_basic_map_total_dim(like),
 5480 		isl_assert(map->ctx, map->p[0]->n_div == map->p[i]->n_div,
 6132 	isl_assert(map->ctx, isl_space_is_equal(map->dim, bmap->dim), goto error);
 6133 	isl_assert(map->ctx, map->n < map->size, goto error);
 6353 	isl_assert(map->ctx, pos < isl_map_dim(map, type), goto error);
 6382 	isl_assert(map->ctx, pos < isl_map_dim(map, type), goto error);
 6510 	isl_assert(map->ctx, pos < isl_map_dim(map, type), goto error);
 7089 	isl_assert(bset->ctx, mat->n_row == 1 + nparam, goto error);
 8078 	isl_assert(bmap->ctx, isl_space_tuple_is_equal(bmap->dim, isl_dim_in,
 8118 	isl_assert(map->ctx, isl_space_tuple_is_equal(map->dim, isl_dim_in,
 8362 	isl_assert(set->ctx, first + n <= isl_set_dim(set, type), goto error);
 8794 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim), goto error);
 8959 	isl_assert(dst->ctx, div <= dst->n_div, return -1);
10885 	isl_assert(bset->ctx, first + n <= isl_basic_set_dim(bset, type),

 3125 	isl_assert(map->ctx, isl_space_is_equal(map->dim, context->dim), goto error);
 3591 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim),

  533 	isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error);
  757 	isl_assert(bmap->ctx, bmap->n_eq == dim, return NULL);
  767 		isl_assert(bmap->ctx,
  770 		isl_assert(bmap->ctx,
  774 		isl_assert(bmap->ctx,

  457 	isl_assert(mat->ctx, mat->n_col == vec->size, goto error);
  513 	isl_assert(mat->ctx, mat->n_row == vec->size, goto error);
  542 	isl_assert(left->ctx, left->n_row == right->n_row, goto error);
  543 	isl_assert(left->ctx, left->n_row >= 1, goto error);
  544 	isl_assert(left->ctx, left->n_col >= 1, goto error);
  545 	isl_assert(left->ctx, right->n_col >= 1, goto error);
  546 	isl_assert(left->ctx,
  549 	isl_assert(left->ctx,
 1010 	isl_assert(left->ctx, left->n_row == left->n_col, goto error);
 1011 	isl_assert(left->ctx, left->n_row == right->n_row, goto error);
 1031 			isl_assert(left->ctx, pivot >= 0, goto error);
 1075 		isl_assert(left->ctx, 0, goto error);
 1140 			isl_assert(mat->ctx, pivot >= 0, goto error);
 1272 	isl_assert(left->ctx, left->n_col == right->n_row, goto error);
 1366 	isl_assert(ctx, bset->dim->nparam == 0, goto error);
 1367 	isl_assert(ctx, 1+bset->dim->n_out == mat->n_row, goto error);
 1368 	isl_assert(ctx, mat->n_col > 0, goto error);
 1737 	isl_assert(M->ctx, M->n_row == M->n_col, goto error);
 1744 		isl_assert(M->ctx, isl_int_is_one(H->row[r][r]), goto error);
 1765 	isl_assert(top->ctx, top->n_col == bot->n_col, goto error);

  368 	isl_assert(bset->ctx, bset->n_div == 0, return NULL);
  432 	isl_assert(bset->ctx, bset->n_div == 0, return NULL);
  623 	isl_assert(bset->ctx, isl_space_is_equal(bset->dim, morph->dom->dim),
  713 	isl_assert(set->ctx, isl_space_is_equal(set->dim, morph->dom->dim), goto error);

 1493 	isl_assert(bmap->ctx, 0, goto error);
 1515 	isl_assert(p->ctx, 0, goto error);
 1536 	isl_assert(set->ctx, 0, goto error);
 1558 	isl_assert(map->ctx, 0, goto error);
 1913 	isl_assert(qp->dim->ctx, output_format == ISL_FORMAT_ISL, return);
 1946 	isl_assert(fold->dim->ctx, output_format == ISL_FORMAT_ISL, return);
 2276 	isl_assert(p->ctx, 0, goto error);
 2412 	isl_assert(p->ctx, 0, goto error);

  454 	isl_assert(bmap->ctx, isl_space_is_equal(bmap->dim, point->dim),
  568 	isl_assert(pnt1->dim->ctx,

   59 	isl_assert(up->ctx, up->var < 0, return NULL);
   69 	isl_assert(up->ctx, up->var >= 0, return NULL);
  385 	isl_assert(ctx, var >= 0, return NULL);
  386 	isl_assert(ctx, size >= 0, return NULL);
 1265 	isl_assert(up->ctx, rec->n >= 1, goto error);
 1290 	isl_assert(div1->ctx, div1->n_row >= div2->n_row &&
 1476 	isl_assert(qp1->div->ctx, qp1->div->n_row >= qp2->div->n_row &&
 1528 	isl_assert(qp1->dim->ctx, isl_space_is_equal(qp1->dim, qp2->dim), goto error);
 1703 	isl_assert(qp1->dim->ctx, isl_space_is_equal(qp1->dim, qp2->dim), goto error);
 1899 	isl_assert(up->ctx, rec->n > 1, return -1);
 1963 	isl_assert(up->ctx, rec->n == 2, return -1);
 2102 	isl_assert(dim->ctx, isl_space_dim(dim, isl_dim_in) == 0, goto error);
 2103 	isl_assert(dim->ctx, pos < isl_space_dim(dim, type), goto error);
 2134 	isl_assert(up->ctx, rec->n >= 1, goto error);
 2164 	isl_assert(ctx, len >= 1, return NULL);
 2543 	isl_assert(qp->dim->ctx,
 2546 	isl_assert(qp->dim->ctx, type == isl_dim_param ||
 2729 	isl_assert(qp->dim->ctx, first + n <= isl_space_dim(qp->dim, type),
 2731 	isl_assert(qp->dim->ctx, type == isl_dim_param ||
 3004 	isl_assert(pwqp1->dim->ctx, isl_space_is_equal(pwqp1->dim, pwqp2->dim),
 3078 	isl_assert(up->ctx, rec->n >= 1, goto error);
 3126 	isl_assert(pnt->dim->ctx, isl_space_is_equal(pnt->dim, qp->dim), goto error);
 3183 	isl_assert(qp->div->ctx, first <= isl_space_dim(qp->dim, type),
 3300 	isl_assert(qp->dim->ctx, src_pos + n <= isl_space_dim(qp->dim, src_type),
 3447 	isl_assert(qp->dim->ctx, first + n <= isl_space_dim(qp->dim, type),
 3451 		isl_assert(qp->dim->ctx, isl_space_is_equal(qp->dim, subs[i]->dim),
 3454 	isl_assert(qp->dim->ctx, qp->div->n_row == 0, goto error);
 3456 		isl_assert(qp->dim->ctx, subs[i]->div->n_row == 0, goto error);
 3627 	isl_assert(qp->div->ctx, t_pos < isl_space_dim(qp->dim, type),
 3860 	isl_assert(term->dim->ctx, pos < isl_term_dim(term, type), return -1);
 3878 	isl_assert(term->dim->ctx, pos < isl_term_dim(term, isl_dim_div),
 3907 	isl_assert(up->ctx, !isl_upoly_is_nan(up), goto error);
 3908 	isl_assert(up->ctx, !isl_upoly_is_infty(up), goto error);
 3909 	isl_assert(up->ctx, !isl_upoly_is_neginfty(up), goto error);
 4178 	isl_assert(ctx, isl_space_is_equal(qp->dim, morph->dom->dim), goto error);

   34 	isl_assert(ctx, n >= 0, goto error);
   87 	isl_assert(ctx, isl_space_is_equal(pw->dim, el_dim), goto error);
   88 	isl_assert(ctx, pw->n < pw->size, goto error);
  419 	isl_assert(ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error);
  545 	isl_assert(ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error);
 1652 	isl_assert(ctx, isl_space_is_domain_internal(morph->dom->dim, pw->dim),

  420 	isl_assert(ctx, d >= 1, goto error);

   77 		isl_assert(bset->ctx, bset->n_eq == 1, goto error);
   78 		isl_assert(bset->ctx, bset->n_ineq == 0, goto error);
   82 			isl_assert(bset->ctx, isl_int_is_negone(bset->eq[0][1]),
  155 	isl_assert(tab->mat->ctx, bset, return NULL);
  178 	isl_assert(bset->ctx, j == n_eq, goto error);
  396 	isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1,
  398 	isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1,
  772 	isl_assert(cone->ctx, cone->n_eq == 0, goto error);
  827 	isl_assert(vec->ctx, vec->size != 0, goto error);
  861 	isl_assert(vec1->ctx, vec1->size > 0, goto error);
  862 	isl_assert(vec2->ctx, vec2->size > 0, goto error);
  863 	isl_assert(vec1->ctx, isl_int_is_one(vec1->el[0]), goto error);
  864 	isl_assert(vec2->ctx, isl_int_is_one(vec2->el[0]), goto error);
 1138 	isl_assert(ctx, isl_basic_set_n_param(bset) == 0, goto error);
 1139 	isl_assert(ctx, bset->n_div == 0, goto error);
 1192 	isl_assert(ctx, vec->size != 0, goto error);

  143 		isl_assert(ctx, pos < dim->nparam,
  147 		isl_assert(ctx, pos < dim->n_in,
  151 		isl_assert(ctx, pos < dim->n_out,
  155 		isl_assert(ctx, 0, return isl_space_dim(dim, isl_dim_all));
  902 	isl_assert(space->ctx, space->nparam <= nparam, goto error);
  903 	isl_assert(space->ctx, space->n_in <= n_in, goto error);
  904 	isl_assert(space->ctx, space->n_out <= n_out, goto error);
 1045 	isl_assert(ctx, pos <= isl_space_dim(space, type), goto error);
 1117 	isl_assert(space->ctx, src_pos + n <= isl_space_dim(space, src_type),
 1123 	isl_assert(space->ctx, dst_type != src_type, goto error);
 1224 	isl_assert(left->ctx,

  252 	isl_assert(s->ctx, s->n_un < 5, return);
  295 	isl_assert(s->ctx, s->n_token < 5, return);

  444 	isl_assert(tab1->mat->ctx, tab1->M == tab2->M, return NULL);
  445 	isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL);
  446 	isl_assert(tab1->mat->ctx, tab1->cone == tab2->cone, return NULL);
  447 	isl_assert(tab1->mat->ctx, !tab1->row_sign, return NULL);
  448 	isl_assert(tab1->mat->ctx, !tab2->row_sign, return NULL);
  449 	isl_assert(tab1->mat->ctx, tab1->n_param == 0, return NULL);
  450 	isl_assert(tab1->mat->ctx, tab2->n_param == 0, return NULL);
  451 	isl_assert(tab1->mat->ctx, tab1->n_div == 0, return NULL);
  452 	isl_assert(tab1->mat->ctx, tab2->n_div == 0, return NULL);
  714 	isl_assert(tab->mat->ctx, var->is_row, return);
  960 	isl_assert(tab->mat->ctx, row >= tab->n_redundant, return -1);
 1055 	isl_assert(mat->ctx, row_sgn > 0, return);
 1056 	isl_assert(mat->ctx, tab->row_sign[row] == isl_tab_row_neg, return);
 1217 		isl_assert(tab->mat->ctx, r < tab->n_row, return -1);
 1220 		isl_assert(tab->mat->ctx, r >= 0, return -1);
 1243 			isl_assert(tab->mat->ctx,
 1248 		isl_assert(tab->mat->ctx, !isl_int_is_neg(tab->mat->row[i][1]),
 1292 	isl_assert(tab->mat->ctx, !var->is_redundant, return -2);
 1293 	isl_assert(tab->mat->ctx, !var->is_zero, return -2);
 1681 	isl_assert(tab->mat->ctx, tab->n_row < tab->mat->n_row, return -1);
 1682 	isl_assert(tab->mat->ctx, tab->n_con < tab->max_con, return -1);
 1766 	isl_assert(tab->mat->ctx, tab->n_col < tab->mat->n_col, return -1);
 1873 	isl_assert(tab->mat->ctx, ~tab->row_var[row] == tab->n_con - 1,
 1918 		isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq,
 1920 		isl_assert(tab->mat->ctx,
 1976 		isl_assert(tab->mat->ctx, row != -1, return -1);
 1987 	isl_assert(tab->mat->ctx, i < tab->n_col, return -1);
 2016 	isl_assert(tab->mat->ctx, i >= 0, goto error);
 2130 	isl_assert(tab->mat->ctx, !tab->M, return -1);
 2343 	isl_assert(tab->mat->ctx, tab->bmap, return -1);
 3616 			isl_assert(tab->mat->ctx, sgn >= 0,
 3697 			isl_assert(tab->mat->ctx, !var->is_row,
 3818 		isl_assert(tab->mat->ctx, j < n_extra, goto error);
 3891 		isl_assert(tab->mat->ctx, 0, return isl_stat_error);
 4039 	isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq, goto error);
 4040 	isl_assert(tab->mat->ctx,

 1044 		isl_assert(tab->mat->ctx,
 1279 		isl_assert(tab->mat->ctx, col >= 0, goto error);
 1915 	isl_assert(tab->mat->ctx, tab->bmap, goto error);
 1916 	isl_assert(tab->mat->ctx, tab->samples, goto error);
 1917 	isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
 2014 	isl_assert(tab->mat->ctx, tab->bmap, return -1);
 2015 	isl_assert(tab->mat->ctx, tab->samples, return -1);
 2016 	isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, return -1);
 2522 	isl_assert(tab->mat->ctx, tab->samples, return isl_tab_row_unknown);
 2523 	isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var,

  240 		isl_assert(steps->ctx, i == k, goto error);
 1164 	isl_assert(map->ctx, left || right, goto error);
 2003 	isl_assert(map->ctx,

  503 	isl_assert(vec1->ctx, vec1->size == vec2->size, goto error);

  144 	isl_assert(bset->ctx, v->v.vertex->n_eq >= nvar, goto error);
  399 	isl_assert(bset->ctx, isl_basic_set_dim(bset, isl_dim_div) == 0,
 1340 	isl_assert(vertices->bset->ctx, vertices->ref == 1, goto error);